Random testing of C compilers based on test program generation by equivalence transformation.
Kazuhiro NakamuraNagisa IshiuraPublished in: APCCAS (2016)
Keyphrases
- test cases
- test suite
- hardware and software
- set of test cases
- test data
- test generation
- software testing
- hardware software co design
- symbolic execution
- test sequences
- test case generation
- test data generation
- regression testing
- white box testing
- model based testing
- static analysis
- programming language
- computer systems
- code coverage
- integration testing
- test set
- neural network
- control program
- statistical tests
- software systems
- statistically significant
- testing process
- java programs
- number of test cases
- uniformly distributed
- genetic algorithm
- programming environment