Test Generation for Compilers and Other Formal Text Processors.
Sergey V. ZelenovSophia A. ZelenovaAlexander S. KossatchevAlexander K. PetrenkoPublished in: Program. Comput. Softw. (2003)
Keyphrases
- test generation
- test cases
- test sequences
- symbolic execution
- hardware and software
- static analysis
- software testing
- design automation
- quality assurance
- general purpose
- programming language
- parallel algorithm
- mutation testing
- database
- computer architecture
- artificial intelligence
- formal specification
- computer systems
- software engineering
- video sequences
- multi agent
- case study
- code coverage
- real world