Testing for Race Conditions in Distributed Systems via SMT Solving

Type
Conference paper
Publication
in TAP
Date
Links
PDF