Sign in

Gamifying static analysis.

Lisa Nguyen Quang DoEric Bodden
Published in: ESEC/SIGSOFT FSE (2018)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • malicious code
  • java card
  • symbolic execution
  • test suite
  • test generation
  • regular expressions
  • data sets
  • abstract interpretation