DMCA

DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs

by Jacob Burnim , Koushik Sen
Citations:14 - 3 self