An evaluation of exhaustive testing for data structures (2003)

by D Marinov, A Andoni, D Daniliuc, S Khurshid, M Rinard