Rupak Majumdar, Ru-Gang Xu
Directed test generation using symbolic grammars
ESEC-FSE, 2007.
@inproceedings{ESEC-FSE-2007-MajumdarX, author = "Rupak Majumdar and Ru-Gang Xu", booktitle = "{Proceedings of the Sixth Joint Meeting of the 11th European Software Engineering Conference and the 15th International Symposium on Foundations of Software Engineering}", doi = "10.1145/1287624.1287708", editor = "Ivica Crnkovic and Antonia Bertolino", isbn = "978-1-59593-811-4", pages = "553--556", publisher = "{ACM}", title = "{Directed test generation using symbolic grammars}", year = 2007, }