Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.

Sotiris Skevoulis Xiaoping Jia

Published in: TOOLS (37) (2000)

Keyphrases

analysis tool
java programs
multi threaded
case study
high level
software components
social networks
general purpose