Directed test generation using symbolic grammars.

Rupak Majumdar Ru-Gang Xu

Published in: ASE (2007)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
software testing
quality assurance
natural language
context free grammars
grammatical inference
regression testing
case study
cooperative
software engineering
open source