Dynamic Testing for Deadlocks via Constraints
No Thumbnail Available
Files
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
825-842 p. ; 2.044ko.
Keywords
Détecteurs d’interblocage, ConLock : technique, Déclenchement de blocage, Bogues (informatique), Logiciels : Défauts de conception