DMCA

Testing Concurrent Programs on Relaxed Memory Models

by Jacob Burnim , Koushik Sen , Christos Stergiou
Citations:13 - 2 self