Sign in
Evaluating the Effectiveness of Java Static Analysis Tools.
Walter W. Schilling Jr.
Mansoor Alam
Published in:
ESA (2007)
Keyphrases
</>
static analysis
source code
dynamic analysis
java card
open source
object oriented
test generation
symbolic execution
abstract interpretation
end users
malicious code
data model
software systems
object oriented systems