Rupak Majumdar, Ru-Gang Xu. Directed test generation using symbolic grammars. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers. pages 553-556, ACM, 2007. [doi]
@inproceedings{MajumdarX07a,
title = {Directed test generation using symbolic grammars},
author = {Rupak Majumdar and Ru-Gang Xu},
year = {2007},
doi = {10.1145/1295014.1295039},
url = {http://doi.acm.org/10.1145/1295014.1295039},
tags = {testing, grammar},
researchr = {https://researchr.org/publication/MajumdarX07a},
cites = {0},
citedby = {0},
pages = {553-556},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers},
editor = {Ivica Crnkovic and Antonia Bertolino},
publisher = {ACM},
isbn = {978-1-59593-812-1},
}