Michael Pradel, Thomas R. Gross. Automatic testing of sequential and concurrent substitutability. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 282-291, IEEE / ACM, 2013. [doi]
@inproceedings{PradelG13-0,
title = {Automatic testing of sequential and concurrent substitutability},
author = {Michael Pradel and Thomas R. Gross},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2486826},
researchr = {https://researchr.org/publication/PradelG13-0},
cites = {0},
citedby = {0},
pages = {282-291},
booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
publisher = {IEEE / ACM},
isbn = {978-1-4673-3076-3},
}