A generic static analyzer for multithreaded Java programs.

Published in: Softw. Pract. Exp. (2013)

Keyphrases

java programs
multi threaded
multithreading
software components
java language
java virtual machine
high level
low cost
error rate
computational power
test case generation
artificial intelligence
supply chain
test suite
multi core processors