ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.
Austin MordahlDakota SolesMiao MiaoZenong ZhangShiyi WeiPublished in: ISSTA (2023)
Keyphrases
- static analysis
- dynamic analysis
- symbolic execution
- test generation
- test suite
- test case generation
- source code
- software testing
- reverse engineering
- abstract interpretation
- regular expressions
- semi automatic
- java card
- test cases
- building blocks
- data management
- software systems
- fault localization
- java programs
- object oriented systems
- test data generation
- case study
- knowledge base
- data sets