Testing properties of weakly consistent programs with Repliss.

Peter Zeller

Browse the full EuroSys paper archive.