{"id":"https://openalex.org/W2904162908","doi":"https://doi.org/10.1145/3243650","title":"Engineering with Logic","display_name":"Engineering with Logic","publication_year":2018,"publication_date":"2018-12-12","ids":{"openalex":"https://openalex.org/W2904162908","doi":"https://doi.org/10.1145/3243650","mag":"2904162908"},"language":"en","primary_location":{"id":"doi:10.1145/3243650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3243650","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dl.acm.org/citation.cfm?doid=3299993.3243650","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111568839","display_name":"Steve Bishop","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Steve Bishop","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006601614","display_name":"Matthew Fairbairn","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew Fairbairn","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022642911","display_name":"Hannes Mehnert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hannes Mehnert","raw_affiliation_strings":["robur.io, Center for the Cultivation of Technology, Germany"],"affiliations":[{"raw_affiliation_string":"robur.io, Center for the Cultivation of Technology, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056365707","display_name":"Michael Norrish","orcid":"https://orcid.org/0000-0003-1163-8467"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Michael Norrish","raw_affiliation_strings":["Data61, CSIRO and Australian National University, Australia"],"affiliations":[{"raw_affiliation_string":"Data61, CSIRO and Australian National University, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679","https://openalex.org/I118347636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076207189","display_name":"Tom Ridge","orcid":null},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom Ridge","raw_affiliation_strings":["University of Leicester, UK"],"affiliations":[{"raw_affiliation_string":"University of Leicester, UK","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter Sewell","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020084018","display_name":"Michael B. Smith","orcid":"https://orcid.org/0000-0002-4165-8218"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Smith","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056684856","display_name":"Keith Wansbrough","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Keith Wansbrough","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5111568839"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":2.7824,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.91661644,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"66","issue":"1","first_page":"1","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8588958978652954},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7271435260772705},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7201294302940369},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6791412830352783},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5261753797531128},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4517979323863983},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35301142930984497},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3333205282688141},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1260196566581726}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8588958978652954},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7271435260772705},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7201294302940369},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6791412830352783},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5261753797531128},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4517979323863983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35301142930984497},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3333205282688141},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1260196566581726}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3243650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3243650","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:lra.le.ac.uk:2381/43932","is_oa":true,"landing_page_url":"https://dl.acm.org/citation.cfm?doid=3299993.3243650","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/307554","is_oa":false,"landing_page_url":"http://hdl.handle.net/1885/307554","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM","raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:lra.le.ac.uk:2381/43932","is_oa":true,"landing_page_url":"https://dl.acm.org/citation.cfm?doid=3299993.3243650","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4639717446","display_name":null,"funder_award_id":"EP/H005633/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4645102762","display_name":null,"funder_award_id":"GR/N24872 and EP/C510712","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7401479227","display_name":null,"funder_award_id":"EP/K008528/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320310369","display_name":"National ICT Australia","ror":"https://ror.org/03q397159"},{"id":"https://openalex.org/F4320315885","display_name":"Australian Government","ror":"https://ror.org/0314h5y94"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":90,"referenced_works":["https://openalex.org/W11392066","https://openalex.org/W21733400","https://openalex.org/W127506714","https://openalex.org/W148956775","https://openalex.org/W163539143","https://openalex.org/W195090555","https://openalex.org/W207759855","https://openalex.org/W1425767035","https://openalex.org/W1491196069","https://openalex.org/W1494042173","https://openalex.org/W1495444061","https://openalex.org/W1496160767","https://openalex.org/W1499832866","https://openalex.org/W1513935630","https://openalex.org/W1546402579","https://openalex.org/W1554481496","https://openalex.org/W1563533791","https://openalex.org/W1571968373","https://openalex.org/W1575091394","https://openalex.org/W1600543584","https://openalex.org/W1658016212","https://openalex.org/W1732700501","https://openalex.org/W1875378518","https://openalex.org/W1935756551","https://openalex.org/W1945229733","https://openalex.org/W1975344666","https://openalex.org/W1976194690","https://openalex.org/W1979302214","https://openalex.org/W1983309829","https://openalex.org/W2001278346","https://openalex.org/W2006277353","https://openalex.org/W2018041465","https://openalex.org/W2025018396","https://openalex.org/W2026161190","https://openalex.org/W2033685783","https://openalex.org/W2033871392","https://openalex.org/W2035405585","https://openalex.org/W2041617655","https://openalex.org/W2047650147","https://openalex.org/W2076628600","https://openalex.org/W2077379060","https://openalex.org/W2085773946","https://openalex.org/W2096900538","https://openalex.org/W2098456636","https://openalex.org/W2101080231","https://openalex.org/W2101341522","https://openalex.org/W2108752882","https://openalex.org/W2111858071","https://openalex.org/W2116730897","https://openalex.org/W2117502039","https://openalex.org/W2118414546","https://openalex.org/W2118431434","https://openalex.org/W2132117132","https://openalex.org/W2138074470","https://openalex.org/W2154937878","https://openalex.org/W2160640971","https://openalex.org/W2162604396","https://openalex.org/W2164264520","https://openalex.org/W2165781299","https://openalex.org/W2167879118","https://openalex.org/W2170207772","https://openalex.org/W2171482413","https://openalex.org/W2213418347","https://openalex.org/W2222801238","https://openalex.org/W2235853928","https://openalex.org/W2274774510","https://openalex.org/W2280574045","https://openalex.org/W2295894684","https://openalex.org/W2414762192","https://openalex.org/W2510121669","https://openalex.org/W2532041240","https://openalex.org/W2549657998","https://openalex.org/W2553522901","https://openalex.org/W2559594945","https://openalex.org/W2603034903","https://openalex.org/W2625764229","https://openalex.org/W2626631502","https://openalex.org/W2738891045","https://openalex.org/W2751343396","https://openalex.org/W2769194423","https://openalex.org/W2898839952","https://openalex.org/W4210516604","https://openalex.org/W4231114982","https://openalex.org/W4234066571","https://openalex.org/W4238083723","https://openalex.org/W4239031877","https://openalex.org/W4240322740","https://openalex.org/W4241746706","https://openalex.org/W4255006224","https://openalex.org/W4256041698"],"related_works":["https://openalex.org/W3030873103","https://openalex.org/W4297819361","https://openalex.org/W1491017262","https://openalex.org/W1494824878","https://openalex.org/W82161441","https://openalex.org/W4294338060","https://openalex.org/W2061417947","https://openalex.org/W1576042299","https://openalex.org/W1990602094","https://openalex.org/W2181943964"],"abstract_inverted_index":{"Conventional":[0],"computer":[1],"engineering":[2,360],"relies":[3],"on":[4,86,159],"test-and-debug":[5,28],"development":[6,29,84],"processes,":[7],"with":[8,17,144,149,203,257,271,299,408],"the":[9,112,116,121,127,135,150,163,189,200,221,226,242,246,263,295,317,412],"behavior":[10,182],"of":[11,56,120,134,217,225,235,241,245,250,341],"common":[12,122],"interfaces":[13],"described":[14],"(at":[15],"best)":[16],"prose":[18,22,35,94],"specification":[19,399],"documents.":[20],"But":[21,74],"specifications":[23,96,198,204,216,266,318],"cannot":[24],"be":[25,109,174,373,402,406],"used":[26],"in":[27,30,63,162,291],"any":[31],"automated":[32],"way,":[33],"and":[34,49,66,68,89,138,153,193,199,220,240,253,274,307,329,387,393],"is":[36,72,79,115],"a":[37,53,60,258,279,339,347,415],"poor":[38],"medium":[39],"for":[40,105,125,363,414],"expressing":[41],"complex":[42],"(and":[43],"loose)":[44],"specifications.":[45],"The":[46],"TCP/IP":[47],"protocols":[48],"Sockets":[50,222],"API":[51],"are":[52,78,206,267],"good":[54],"example":[55],"this:":[57],"they":[58,77,229],"play":[59],"vital":[61],"role":[62],"modern":[64],"communication":[65],"computation,":[67],"interoperability":[69],"between":[70,333],"implementations":[71,201,326],"essential.":[73],"what":[75,102],"exactly":[76],"surprisingly":[80],"obscure:":[81],"their":[82,181],"original":[83],"focused":[85],"\u201crough":[87],"consensus":[88],"running":[90],"code,\u201d":[91],"augmented":[92],"by":[93],"RFC":[95],"that":[97,172,205,228,357,369],"do":[98],"not":[99],"precisely":[100,183],"define":[101],"it":[103],"means":[104],"an":[106,312],"implementation":[107,191],"to":[108,130,166,176,179,187,194,231,293,375,384],"correct.":[110],"Ultimately,":[111],"actual":[113],"standard":[114],"de":[117],"facto":[118],"one":[119],"implementations,":[123],"including,":[124],"example,":[126],"15":[128],"000":[129,132],"20":[131],"lines":[133],"BSD":[136],"implementation\u2014optimized":[137],"multithreaded":[139],"C":[140],"code,":[141],"time":[142],"dependent,":[143],"asynchronous":[145],"event":[146],"handlers,":[147],"intertwined":[148],"operating":[151],"system,":[152],"security":[154],"critical.":[155],"This":[156],"article":[157],"reports":[158],"work":[160],"done":[161,345],"Netsem":[164],"project":[165],"develop":[167],"lightweight":[168,409],"mathematically":[169],"rigorous":[170],"techniques":[171,361,371],"can":[173,401],"applied":[175,374],"such":[177],"systems:":[178],"specify":[180],"(but":[184],"loosely":[185],"enough":[186],"permit":[188],"required":[190],"variation)":[192],"test":[195,209],"whether":[196],"these":[197,334],"correspond":[202],"executable":[207],"as":[208,337],"oracles":[210],".":[211],"We":[212,310],"developed":[213,285],"post":[214],"hoc":[215],"TCP,":[218],"UDP,":[219],"API,":[223],"both":[224],"service":[227],"provide":[230],"applications":[232],"(in":[233,248],"terms":[234,249],"TCP":[236,251],"bidirectional":[237],"stream":[238],"connections)":[239],"internal":[243],"operation":[244],"protocol":[247],"segments":[252],"UDP":[254],"datagrams),":[255],"together":[256],"testable":[259],"abstraction":[260],"function":[261],"relating":[262],"two.":[264],"These":[265],"rigorous,":[268],"detailed,":[269],"readable,":[270],"broad":[272],"coverage,":[273],"rather":[275],"accurate.":[276],"Working":[277],"within":[278],"general-purpose":[280,416],"proof":[281,417],"assistant":[282],"(HOL4),":[283],"we":[284,367],"language":[286],"idioms":[287],"(within":[288],"higher-order":[289],"logic)":[290],"which":[292],"write":[294],"specifications:":[296],"operational":[297],"semantics":[298,314],"nondeterminism,":[300],"time,":[301,382],"system":[302],"calls,":[303],"monadic":[304],"relational":[305],"programming,":[306],"so":[308],"forth.":[309],"followed":[311],"experimental":[313],"approach,":[315],"validating":[316],"against":[319],"several":[320],"thousand":[321],"traces":[322],"captured":[323],"from":[324],"three":[325],"(FreeBSD,":[327],"Linux,":[328],"WinXP).":[330],"Many":[331],"differences":[332],"were":[335,338],"identified,":[336],"number":[340],"bugs.":[342],"Validation":[343],"was":[344],"using":[346],"special-purpose":[348],"symbolic":[349],"model":[350],"checker":[351],"programmed":[352],"above":[353],"HOL4.":[354],"Having":[355],"demonstrated":[356],"our":[358],"logic-based":[359],"suffice":[362],"handling":[364],"real-world":[365],"protocols,":[366],"argue":[368],"similar":[370],"could":[372],"future":[376],"critical":[377],"software":[378],"infrastructure":[379],"at":[380,419],"design":[381],"leading":[383],"cleaner":[385],"designs":[386],"(via":[388],"specification-based":[389],"testing)":[390],"more":[391],"robust":[392],"predictable":[394],"implementations.":[395],"In":[396],"cases":[397],"where":[398],"looseness":[400],"controlled,":[403],"this":[404],"should":[405],"possible":[407],"techniques,":[410],"without":[411],"need":[413],"assistant,":[418],"relatively":[420],"little":[421],"cost.":[422]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}