Login / Signup

Speeding up Static Analysis with the Split Operator.

Vincenzo ArceriGreta DolcettiEnea Zaffanella
Published in: SOAP@PLDI (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • malicious code
  • symbolic execution
  • java card
  • test generation
  • abstract interpretation
  • test suite
  • data sets
  • regular expressions
  • test case generation