{"id":"https://openalex.org/W3206889100","doi":"https://doi.org/10.1145/3484272.3484965","title":"Reframing the Liskov substitution principle through the lens of testing","display_name":"Reframing the Liskov substitution principle through the lens of testing","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3206889100","doi":"https://doi.org/10.1145/3484272.3484965","mag":"3206889100"},"language":"en","primary_location":{"id":"doi:10.1145/3484272.3484965","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3484272.3484965","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072890481","display_name":"Elisa Baniassad","orcid":"https://orcid.org/0000-0001-9627-4396"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Elisa Baniassad","raw_affiliation_strings":["University of British Columbia, Canada"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080556886","display_name":"Alexander J. Summers","orcid":"https://orcid.org/0000-0001-5554-9381"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alexander J. Summers","raw_affiliation_strings":["University of British Columbia, Canada"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5072890481"],"corresponding_institution_ids":["https://openalex.org/I141945490"],"apc_list":null,"apc_paid":null,"fwci":0.2303,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.50299779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"49","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10523","display_name":"Atomic and Molecular Physics","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cognitive-reframing","display_name":"Cognitive reframing","score":0.8510836362838745},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.7441377639770508},{"id":"https://openalex.org/keywords/lens","display_name":"Lens (geology)","score":0.6027804017066956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45792657136917114},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.23066699504852295},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1886279582977295},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14014661312103271},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.07003083825111389}],"concepts":[{"id":"https://openalex.org/C187029079","wikidata":"https://www.wikidata.org/wiki/Q958679","display_name":"Cognitive reframing","level":2,"score":0.8510836362838745},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.7441377639770508},{"id":"https://openalex.org/C15336307","wikidata":"https://www.wikidata.org/wiki/Q1766051","display_name":"Lens (geology)","level":2,"score":0.6027804017066956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45792657136917114},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.23066699504852295},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1886279582977295},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14014661312103271},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.07003083825111389},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3484272.3484965","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3484272.3484965","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1523720513","https://openalex.org/W1995008247","https://openalex.org/W2157220115","https://openalex.org/W2808343001","https://openalex.org/W4238239668"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2061896288","https://openalex.org/W1965599462","https://openalex.org/W2025581759","https://openalex.org/W2256481674","https://openalex.org/W2011143448","https://openalex.org/W2417845289","https://openalex.org/W2944195030","https://openalex.org/W3118029303"],"abstract_inverted_index":{"In":[0,19],"this":[1,144,158,181],"essay,":[2],"we":[3,35,112,175],"explore":[4],"a":[5,45,75,102,133,188],"new":[6],"pedagogical":[7],"framing":[8],"ofway":[9],"of":[10,31,41,56,97,118,135,153,157,168,184,195,202],"pedagogically":[11],"and":[12,140],"teaching":[13,28,37,185],"the":[14,29,32,42,62,95,109,115,119,148,154,192,197,200],"Liskov":[15],"Substitution":[16],"Principle":[17],"(LSP).":[18],"addition":[20],"to,":[21],"or":[22,79],"perhaps":[23],"even":[24],"in":[25,128],"place":[26],"of,":[27],"specifics":[30],"rule":[33],"itself,":[34],"advocatepropose":[36],"an":[38],"operationalised":[39],"version":[40],"rule:":[43],"that":[44,64,93,114,180],"subtype":[46],"must":[47],"pass":[48],"its":[49,57],"supertype\u2019s":[50],"black":[51,65,105,171],"box":[52,66,89,106,172],"tests":[53,67],"for":[54,108,137,141,147],"each":[55],"overriding":[58],"methods.":[59],"We":[60,178],"leverage":[61],"fact":[63],"should":[68],"be":[69,85,132],"written":[70],"to":[71,74,191,206],"capture":[72],"conformance":[73],"specification":[76],"without":[77],"overfitting":[78],"checking":[80,196],"implementation":[81],"internalsdetails":[82],"(as":[83],"would":[84],"checked":[86],"by":[87],"glass":[88],"tests).":[90],"A":[91],"type":[92],"violates":[94],"rules":[96],"substitutability":[98,169,186],"will":[99],"also":[100],"fail":[101],"potential":[103],"corresponding":[104],"test":[107],"supertype.":[110],"Additionally,":[111],"argue":[113],"over-strict":[116],"nature":[117],"classical":[120,193],"LSP":[121],"Postcondition":[122],"Rule":[123],"(which":[124],"has":[125],"been":[126],"improved":[127],"subsequent":[129],"work)":[130],"can":[131],"source":[134],"confusion":[136],"both":[138],"instructors":[139],"students":[142],"learning":[143],"crucial":[145],"concept":[146,162],"first":[149],"time.":[150],"Pleasingly,":[151],"many":[152],"technical":[155],"subtleties":[156],"nuanced":[159],"but":[160],"important":[161],"drop":[163],"out":[164],"naturally":[165],"when":[166],"thinking":[167],"via":[170],"tests.":[173],"Thus":[174],"put":[176],"forward":[177],"propose":[179],"test-oriented":[182],"means":[183],"is":[187],"valuable":[189],"alternative":[190],"sense":[194],"LSP,":[198],"with":[199],"benefit":[201],"being":[203],"intuitively":[204],"accessible":[205],"students.":[207]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}