Omen+: a precise dynamic deadlock detector for multithreaded Java libraries.

Malavika Samak Murali Krishna Ramanathan

Published in: SIGSOFT FSE (2014)

Keyphrases

metadata
multimedia
open source
source code
dynamic environments
lightweight
multi user
web pages
digital libraries
operating system
detection algorithm
database applications
dynamically changing