Automated Generation of Positive and Negative Tests for Parsers (Q3434611)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Generation of Positive and Negative Tests for Parsers |
scientific article |
Statements
Automated Generation of Positive and Negative Tests for Parsers (English)
0 references
2 May 2007
0 references
specification-based test generation
0 references
coverage criterion
0 references
compiler testing
0 references
parser
0 references
positive tests
0 references
negative tests
0 references
mutation testing
0 references
formal language
0 references
BNF grammar
0 references