Testing a PL/I Compiler Using Precomputation-based Program Generation.
Jesse PostemaJohan FabryYannick BartholAna OprescuPublished in: ICST (2022)
Keyphrases
- test cases
- symbolic execution
- search based software testing
- programming language
- set of test cases
- programs written
- test set
- code generation
- test suite
- test generation
- software testing
- program execution
- programming environment
- static analysis
- software systems
- artificial intelligence
- real time
- general purpose
- image sequences
- program code
- data mining
- data sets