An evaluation of exhaustive testing for data structures (2003)

by Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin C Rinard