Checking for Liskov Substitution Principle Compliance in Java Programs.

Published in: SEDE (2009)

Keyphrases

java programs
multi threaded
software components
java language
test suite
general purpose
software development
building blocks
information flow
java virtual machine
test case generation