Sign in

Static analysis of pattern-free properties.

Horatiu CirsteaPierre LermusiauxPierre-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