Selecting long atomic traces for high coverage.

Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen

Browse the full ICS paper archive.