default search action
"UNDEAD: detecting and preventing deadlocks in production software."
Jinpeng Zhou et al. (2017)
- Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu:
UNDEAD: detecting and preventing deadlocks in production software. ASE 2017: 729-740
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.