@INPROCEEDINGS{icse2013,
  author = {Michael Pradel and Thomas R. Gross},
  title = {Automatic Testing of Sequential and Concurrent Substitutability},
  booktitle = {International Conference on Software Engineering (ICSE)},
  year = {2013}
}