Test input generation for java containers using state matching,” (2006)

by W Visser, C S Pasareanu, R Pelanek
Venue:in ISSTA ’06: Proceedings of the 2006 international symposium on Software testing and analysis.