Automated Generation of Positive and Negative Tests for Parsers
DOI10.1007/11759744_13zbMath1183.68185OpenAlexW1538948796MaRDI QIDQ3434611
Sophia Zelenova, S. V. Zelenov
Publication date: 2 May 2007
Published in: Formal Approaches to Software Testing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11759744_13
parserformal languagemutation testingcoverage criterionBNF grammarcompiler testingnegative testspositive testsspecification-based test generation
Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
This page was built for publication: Automated Generation of Positive and Negative Tests for Parsers