Automatic testing of sequential and concurrent substitutability.

Michael Pradel, Thomas R. Gross

Browse the full ICSE paper archive.