DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs

by Jacob Burnim , Koushik Sen
Citations:10 - 2 self