Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In: (2006)

by S Artzi, M Ernst, A Kiezun, C Pacheco, J Perkins
Venue:Proceedings of the Workshop on Model-Based Testing and Object-Oriented Systems.