UNDEAD: detecting and preventing deadlocks in production software.

Jinpeng Zhou Sam Silvestro Hongyu Liu Yan Cai Tongping Liu

Published in: ASE (2017)

Keyphrases

software development
software systems
software design
static analysis
production system
computer systems
user interface
software tools
maintenance activities
web based training
data mining
control system
hardware design
computer software