Testing concurrent programs on relaxed memory models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Browse the full ISSTA paper archive.