Login / Signup
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation.
Oren Ish-Shalom
Shachar Itzhaky
Roman Manevich
Noam Rinetzky
Published in:
VMCAI (2020)
Keyphrases
</>
static analysis
test generation
regular expressions
dynamic analysis
symbolic execution
source code
design automation
test sequences
malicious code
java card
pattern matching
semi automatic
query language
abstract interpretation
open source
databases
quality assurance
data sources