Login / Signup
Using static analysis for coverage extraction fromemulation/prototyping platforms.
Viraj Athavale
Sam Hertz
Darshan Jetly
Vijay Ganesan
Jim Krysl
Shobha Vasudevan
Published in:
CODES+ISSS (2012)
Keyphrases
</>
static analysis
test suite
dynamic analysis
source code
abstract interpretation
symbolic execution
malicious code
java card
regular expressions
test cases
development process
test generation
information extraction
case study
metadata
rapid prototyping
real world
test case generation
databases