Directed test generation using symbolic grammars

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]

Abstract

Abstract is missing.