Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time.
Jiangchang WuYibiao YangYuming ZhouPublished in: SANER (2023)
Keyphrases
- symbolic execution
- test generation
- test data generation
- testing process
- software testing
- set of test cases
- test cases
- control flow
- code generation
- test suite
- test data
- test sequences
- learning algorithm
- program execution
- test case generation
- statistical tests
- integration testing
- software systems
- java bytecode
- programming language
- runtime environment
- execution model
- code coverage
- java virtual machine
- database transactions
- decision trees
- concurrent programs
- programs written
- feature selection
- computer programs
- general purpose
- regression testing
- machine learning
- static analysis
- ensemble learning