{"id":"https://openalex.org/W2327602015","doi":"https://doi.org/10.1145/2890494","title":"Less is More","display_name":"Less is More","publication_year":2016,"publication_date":"2016-04-06","ids":{"openalex":"https://openalex.org/W2327602015","doi":"https://doi.org/10.1145/2890494","mag":"2327602015"},"language":"en","primary_location":{"id":"doi:10.1145/2890494","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2890494","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-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/A5000891263","display_name":"Esteban Pavese","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Esteban Pavese","raw_affiliation_strings":["Departamento de Computaci\u00f3n, Universidad de Buenos Aires, CABA, Argentina"],"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Universidad de Buenos Aires, CABA, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005812046","display_name":"V\u0131\u0301ctor Braberman","orcid":"https://orcid.org/0000-0001-5946-3550"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"V\u00edctor Braberman","raw_affiliation_strings":["Departamento de Computaci\u00f3n, Universidad de Buenos Aires and CONICET, CABA, Argentina"],"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Universidad de Buenos Aires and CONICET, CABA, Argentina","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I151201029"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045087569","display_name":"Sebasti\u00e1n Uchitel","orcid":"https://orcid.org/0000-0001-9352-1478"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Sebastian Uchitel","raw_affiliation_strings":["Departamento de Computaci\u00f3n, Universidad de Buenos Aires, Imperial College London, and CONICET, CABA, Argentina"],"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Universidad de Buenos Aires, Imperial College London, and CONICET, CABA, Argentina","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I151201029"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000891263"],"corresponding_institution_ids":["https://openalex.org/I24354313"],"apc_list":null,"apc_paid":null,"fwci":0.8338,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74529132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"25","issue":"2","first_page":"1","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7819710969924927},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6953743696212769},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6140131950378418},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.6077468395233154},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5126842260360718},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5064977407455444},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48978137969970703},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.45972177386283875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41935139894485474},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3012084662914276},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2790396809577942},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16588756442070007}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7819710969924927},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6953743696212769},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6140131950378418},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.6077468395233154},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5126842260360718},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5064977407455444},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48978137969970703},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.45972177386283875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41935139894485474},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3012084662914276},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2790396809577942},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16588756442070007},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2890494","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2890494","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/29420","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/29420","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8786543009","display_name":null,"funder_award_id":"036, 0384","funder_id":"https://openalex.org/F4320335478","funder_display_name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires"}],"funders":[{"id":"https://openalex.org/F4320335478","display_name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W130710483","https://openalex.org/W182014611","https://openalex.org/W1490079820","https://openalex.org/W1498432697","https://openalex.org/W1510183314","https://openalex.org/W1511105469","https://openalex.org/W1515421996","https://openalex.org/W1533572394","https://openalex.org/W1554430274","https://openalex.org/W1554758995","https://openalex.org/W1583191255","https://openalex.org/W1588278207","https://openalex.org/W1603153151","https://openalex.org/W1617322827","https://openalex.org/W1640992481","https://openalex.org/W1655884486","https://openalex.org/W1688218840","https://openalex.org/W1850679117","https://openalex.org/W1850900101","https://openalex.org/W1859458367","https://openalex.org/W1985093013","https://openalex.org/W1989703131","https://openalex.org/W1993536119","https://openalex.org/W1998138867","https://openalex.org/W1999288406","https://openalex.org/W2001452086","https://openalex.org/W2042587503","https://openalex.org/W2065708883","https://openalex.org/W2070468372","https://openalex.org/W2078233736","https://openalex.org/W2105964247","https://openalex.org/W2109892325","https://openalex.org/W2110908283","https://openalex.org/W2114158268","https://openalex.org/W2126143155","https://openalex.org/W2128934846","https://openalex.org/W2130514924","https://openalex.org/W2130833913","https://openalex.org/W2145000217","https://openalex.org/W2153242493","https://openalex.org/W2153945968","https://openalex.org/W2157805581","https://openalex.org/W2160967439","https://openalex.org/W2165161585","https://openalex.org/W2165686945","https://openalex.org/W2166744034","https://openalex.org/W2410243683","https://openalex.org/W2613892803","https://openalex.org/W2886362482","https://openalex.org/W3020882730","https://openalex.org/W4242441073","https://openalex.org/W4292691288"],"related_works":["https://openalex.org/W2087152645","https://openalex.org/W157143398","https://openalex.org/W2402139032","https://openalex.org/W2118039525","https://openalex.org/W1518865745","https://openalex.org/W2569102954","https://openalex.org/W4292559442","https://openalex.org/W1561838634","https://openalex.org/W4288594254","https://openalex.org/W2980274526"],"abstract_inverted_index":{"Model-based":[0],"reliability":[1],"estimation":[2,105,153],"of":[3,17,80,121,185],"systems":[4],"can":[5,36,84,166],"provide":[6,85],"useful":[7],"insights":[8],"early":[9],"in":[10,40,57,66],"the":[11,183],"development":[12],"process.":[13],"However,":[14],"computational":[15],"complexity":[16],"estimating":[18],"metrics":[19,92],"such":[20],"as":[21,56,65],"mean":[22],"time":[23,29],"to":[24,52],"first":[25],"failure":[26],"(MTTFF),":[27],"turnaround":[28],"(TAT),":[30],"or":[31],"other":[32],"domain-based":[33],"quantitative":[34,90],"measures":[35],"be":[37,167],"prohibitive":[38],"both":[39,158],"time,":[41],"space,":[42],"and":[43,61,111,162,173],"precision.":[44],"In":[45],"this":[46,155],"article,":[47],"we":[48],"present":[49,98],"an":[50],"alternative":[51],"exhaustive":[53],"model":[54,59,68,83,91,113,143,175],"exploration,":[55,64],"probabilistic":[58,112,142,160,172],"checking,":[60,176],"partial":[62,77,134],"random":[63],"statistical":[67,174],"checking.":[69,114,144],"Our":[70],"hypothesis":[71],"is":[72,128,137],"that":[73,106,149,151],"a":[74,81,99,117,125,133],"(carefully":[75],"crafted)":[76],"systematic":[78],"exploration":[79],"system":[82,179],"better":[86],"bounds":[87],"for":[88,103,178,181],"these":[89],"at":[93],"lower":[94],"computation":[95],"cost.":[96],"We":[97,145],"novel":[100],"automated":[101],"technique":[102,156],"metric":[104,152],"combines":[107],"simulation,":[108],"invariant":[109,127,131],"inference,":[110],"Simulation":[115],"produces":[116],"probabilistically":[118],"relevant":[119],"set":[120],"traces":[122],"from":[123],"which":[124,136,182],"state":[126],"inferred.":[129],"The":[130],"characterises":[132],"model,":[135],"then":[138],"exhaustively":[139],"explored":[140],"using":[141,154],"report":[146],"on":[147],"experiments":[148],"suggest":[150],"(for":[157],"fully":[159],"models":[161,180],"those":[163],"exhibiting":[164],"nondeterminism)":[165],"more":[168],"effective":[169],"than":[170],"(full-model)":[171],"especially":[177],"events":[184],"interest":[186],"are":[187],"rare.":[188]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}