An evaluation of exhaustive testing for data structures (2003)

by Darko Marinov , Alexandr Andoni , Dumitru Daniliuc , Sarfraz Khurshid , Martin Rinard
Venue:MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921
Citations:27 - 14 self

Document Versions

An evaluation of exhaustive testing for data structures –Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin Rinard — 2003 — MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921