Test input generation for java containers using state matching.

Willem Visser, Corina S. Pasareanu, Radek Pelnek

Browse the full ISSTA paper archive.