Static deadlock analyzers might be able to verify the absence of deadlock. However, they
are usually not able to detect its presence. Also, when they detect a potential deadlock cycle,
they provide little (or even no) information on their output. Due to the complex flow of
concurrent programs, the user might not be able to find the source of the anomalous
behaviour from the abstract information computed by static analysis. This paper proposes
the combined use of static analysis and testing for effective deadlock detection in …

Static deadlock analyzers might be able to verify the absence of deadlock, but when they
detect a potential deadlock cycle, they provide little (or even none) information on their
output. Due to the complex flow of concurrent programs, the user might not be able to find
the source of the anomalous behaviour from the abstract information computed by static
analysis. This paper proposes the combined use of static analysis and testing for effective
deadlock detection in asynchronous programs. Our main contributions are:(1) We present …