A Static Analyzer for Finding Dynamic Programming Errors. (appears in Software - Practice and Experience Vol. 30 No. 7, 2000) BMAT – A Binary Matching Tool. (Microsoft Research Technical Report MSR-TR-99-83) Building Scalable Failure-proneness Models
Read More...