Automatic Testing and Benchmarking for Configurable Static Analysis Tools.
Austin MordahlPublished in: ISSTA (2023)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- test generation
- test suite
- source code
- test case generation
- malicious code
- test cases
- regular expressions
- tool support
- semi automatic
- reverse engineering
- java card
- abstract interpretation
- open source
- search based software testing
- software testing
- software systems
- object oriented systems
- data mining
- semantic information
- case study