{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:04:21Z","timestamp":1776305061589,"version":"3.50.1"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606574","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"282-291","source":"Crossref","is-referenced-by-count":13,"title":["Automatic testing of sequential and concurrent substitutability"],"prefix":"10.1109","author":[{"given":"Michael","family":"Pradel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas R.","family":"Gross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989461"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336785"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28702"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.82"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.46"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243441"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"25","first-page":"365","article-title":"Symstra: A framework for generating object-oriented unit tests using symbolic execution","author":"xie","year":"2005","journal-title":"TACAS"},{"key":"26","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"27","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1081706.1081749","article-title":"Parameterized unit tests","author":"tillmann","year":"2005","journal-title":"ESEC\/FSE"},{"key":"28","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digital Tech J"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97970"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"10","author":"gosling","year":"2005","journal-title":"Java Language Specification"},{"key":"1","first-page":"17","article-title":"Data abstraction and hierarchy","author":"liskov","year":"1987","journal-title":"OOPSLA"},{"key":"30","first-page":"667","article-title":"How do Java programs use inheritance? An empirical study of inheritance in Java software","author":"tempero","year":"2008","journal-title":"ECOOP"},{"key":"7","author":"szyperski","year":"2002","journal-title":"Component Software Beyond Object-Oriented Programming"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/367845.368062"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.64"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493421"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940110"},{"key":"4","first-page":"60","article-title":"Designing an object-oriented programming language with behavioural subtyping","volume":"489","author":"america","year":"1990","journal-title":"REX Workshop"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254126"},{"key":"8","author":"ghezzi","year":"2002","journal-title":"Fundamentals of Software Engineering"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606574.pdf?arnumber=6606574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:55:28Z","timestamp":1498085728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606574","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}