Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.

Venkatesh Prasad Ranganath John Hatcliff

Published in: CC (2004)

Keyphrases

java programs
multi threaded
software components
search space
java language
java virtual machine
test suite
data processing
operating system
information flow
test case generation
social networks