Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge.

Safeeullah Soomro Franz Wotawa Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. 379-388 2009 IEA/AIE http://dx.doi.org/10.1007/978-3-642-02568-6_39 conf/ieaaie/2009 db/conf/ieaaie/ieaaie2009.html#SoomroW09