A Run-Time Deadlock Detector for Concurrent Java Programs.

Yusuke Nonaka Kazuo Ushijima Hibiki Serizawa Shigeru Murata Jingde Cheng

Published in: APSEC (2001)

Keyphrases

java programs
multi threaded
software components
java language
test suite
test case generation
operating system
software systems
information flow
computer architecture