Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration.
Xinmeng XiaYang FengPublished in: ISSRE (2023)
Keyphrases
- control program
- test cases
- static analysis
- programming environment
- search space
- production system
- programming language
- programs written
- program execution
- computer programs
- software systems
- database
- software engineering
- evolutionary algorithm
- high level
- case study
- image processing
- computer vision
- social networks
- databases