Test input generation for java containers using state matching

Willem Visser, Corina S. Pasareanu, Radek Pelánek. Test input generation for java containers using state matching. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 37-48, ACM, 2006. [doi]

Authors

Willem Visser

This author has not been identified. Look up 'Willem Visser' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google

Radek Pelánek

This author has not been identified. Look up 'Radek Pelánek' in Google