Willem Visser Corina S. Pasareanu Radek Pelánek Test input generation for java containers using state matching. 37-48 2006 conf/issta/2006 ISSTA http://doi.acm.org/10.1145/1146238.1146243 db/conf/issta/issta2006.html#VisserPP06