Bounded-Interference Sequentialization for Testing Concurrent Programs.

Niloofar Razavi, Azadeh Farzan, Andreas Holzer

Browse the full ISoLA paper archive.