Static Analysis of Java Multithreaded and Distributed Applications.

Claudio Demartini Riccardo Sisto

Published in: PDSE (1998)

Keyphrases

static analysis
source code
java card
dynamic analysis
open source
multithreading
malicious code
symbolic execution
software systems
java programs
test suite
test generation
multi user
programming language
object oriented
high level
database
visual basic
database applications
case study