Deadlock-Guided Testing

Gomez-Zamalloa, M; Isabel, M

Isabel, M (corresponding author), Univ Politecn Madrid, Lenguajes Sistemas Informat & Ingn Software, ETS Ingn Informat, Madrid 28660, Spain.

IEEE ACCESS, 2021; 9 (): 46033

Abstract

Static deadlock analyses might be able to verify the absence of deadlock. However, they are usually not able to detect its presence. Moreover, when a ......

Full Text Link