The automatic generation of test cases for optimizing Fortran compilers.
C. J. BurgessM. SaidiPublished in: Inf. Softw. Technol. (1996)
Keyphrases
- test cases
- test data
- software testing
- regression testing
- black box
- test suite
- programming language
- test sequences
- test case generation
- test data generation
- test generation
- model based testing
- test case selection
- test suite reduction
- number of test cases
- test set
- testing process
- general purpose
- covering arrays
- databases
- mutation testing
- computer architecture
- integration testing
- formal specification
- life cycle
- computer systems
- software development
- machine learning