Test input generation for Java containers using state matching (1820)

by Willem Visser, Corina S Pasreanu, Radek Pelinek
Venue:In ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis