ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.

Austin Mordahl Zenong Zhang Dakota Soles Shiyi Wei

Published in: ICSE (2023)

Keyphrases

static analysis
dynamic analysis
symbolic execution
test suite
test generation
source code
software testing
test cases
test case generation
malicious code
regular expressions
java card
abstract interpretation
java programs
reverse engineering
software maintenance
relational databases
knowledge base