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]
@inproceedings{VisserPP06,
title = {Test input generation for java containers using state matching},
author = {Willem Visser and Corina S. Pasareanu and Radek Pelánek},
year = {2006},
doi = {10.1145/1146238.1146243},
url = {http://doi.acm.org/10.1145/1146238.1146243},
tags = {Java, testing},
researchr = {https://researchr.org/publication/VisserPP06},
cites = {0},
citedby = {0},
pages = {37-48},
booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006},
editor = {Lori L. Pollock and Mauro Pezzè},
publisher = {ACM},
isbn = {1-59593-263-1},
}