Login / Signup

Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach.

Roberta CoelhoArndt von StaaUirá KuleszaAwais RashidCarlos José Pereira de Lucena
Published in: Inf. Sci. (2011)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • java card
  • symbolic execution
  • abstract interpretation
  • regular expressions
  • malicious code
  • test suite
  • real world
  • case study
  • open source
  • test generation