Static analysis of pattern-free properties.

Horatiu Cirstea Pierre Lermusiaux Pierre-Etienne Moreau

Published in: PPDP (2021)

Keyphrases

matching algorithm
static analysis
regular expressions
dynamic analysis
source code
symbolic execution
abstract interpretation
pattern matching
test generation
java card
semi automatic