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:30 - 14 self