Login / Signup

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.

Nataliia StulovaJosé F. MoralesManuel V. Hermenegildo
Published in: Sci. Comput. Program. (2018)
Keyphrases
  • static analysis
  • trade off
  • dynamic analysis
  • source code
  • malicious code
  • symbolic execution
  • java card
  • abstract interpretation
  • test generation
  • regular expressions
  • test suite
  • test case generation
  • database