{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:29Z","timestamp":1750220309121,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,20]]},"DOI":"10.1145\/3484272.3484965","type":"proceedings-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T16:07:41Z","timestamp":1634314061000},"page":"49-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Reframing the Liskov substitution principle through the lens of testing"],"prefix":"10.1145","author":[{"given":"Elisa","family":"Baniassad","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander J.","family":"Summers","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183377.3183392"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 18th International Conference on Software Engineering (ICSE \u201996)","author":"Dhara Krishna Kishore","year":"1867","unstructured":"Krishna Kishore Dhara and Gary T. Leavens . 1996. Forcing Behavioral Subtyping through Specification Inheritance . In Proceedings of the 18th International Conference on Software Engineering (ICSE \u201996) . IEEE Computer Society, USA. 258\u2013267. isbn:08 1867 2463 Krishna Kishore Dhara and Gary T. Leavens. 1996. Forcing Behavioral Subtyping through Specification Inheritance. In Proceedings of the 18th International Conference on Software Engineering (ICSE \u201996). IEEE Computer Society, USA. 258\u2013267. isbn:0818672463"},{"key":"e_1_3_2_1_3_1","unstructured":"S. Drossopoulou A. Francalanza P. M\u00fcller and A. J. Summers. 2008. A Unified Framework for Verification Techniques for Object Invariants. In ECOOP. Springer.  S. Drossopoulou A. Francalanza P. M\u00fcller and A. J. Summers. 2008. A Unified Framework for Verification Techniques for Object Invariants. In ECOOP. Springer."},{"key":"e_1_3_2_1_4_1","volume-title":"Zimmerman","author":"Leavens Gary T.","year":"2008","unstructured":"Gary T. Leavens , Erik Poll , Curtis Clifton , Yoonsik Cheon , Clyde Ruby , David Cok , Peter M\u00fcller , Joseph Kiniry , Patrice Chalin , and Daniel M . Zimmerman . 2008 . JML reference manual. Gary T. Leavens, Erik Poll, Curtis Clifton, Yoonsik Cheon, Clyde Ruby, David Cok, Peter M\u00fcller, Joseph Kiniry, Patrice Chalin, and Daniel M. Zimmerman. 2008. JML reference manual."},{"key":"e_1_3_2_1_5_1","volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","author":"Liskov Barbara","year":"2016","unstructured":"Barbara Liskov and John Guttag . 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design ( 1 st ed.). Addison-Wesley Longman Publishing Co., Inc. , USA. isbn:0 2016 57686 Barbara Liskov and John Guttag. 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design (1st ed.). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0201657686","edition":"1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484272.3484965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484272.3484965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:41Z","timestamp":1750191101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484272.3484965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":6,"alternative-id":["10.1145\/3484272.3484965","10.1145\/3484272"],"URL":"https:\/\/doi.org\/10.1145\/3484272.3484965","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}