Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs.
Maolin SunYibiao YangMing WenYongcong WangYuming ZhouHai JinPublished in: ICSE (2023)
Keyphrases
- modulo theories
- source code
- statistical machine translation
- binary images
- shape representation
- historical data
- satisfiability modulo theories
- medial axis
- answer set programming
- search space
- input data
- software systems
- dynamic programming
- shape analysis
- machine translation system
- topological features
- distance transformation
- quantified boolean formulas
- termination analysis