{"id":"https://openalex.org/W1970530901","doi":"https://doi.org/10.1145/2480362.2480590","title":"The search for the laws of automatic random testing","display_name":"The search for the laws of automatic random testing","publication_year":2013,"publication_date":"2013-03-18","ids":{"openalex":"https://openalex.org/W1970530901","doi":"https://doi.org/10.1145/2480362.2480590","mag":"1970530901"},"language":"en","primary_location":{"id":"doi:10.1145/2480362.2480590","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480590","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1211.3257","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031470846","display_name":"Carlo A. Furia","orcid":"https://orcid.org/0000-0003-1040-3201"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Carlo A. Furia","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073925128","display_name":"Bertrand Meyer","orcid":"https://orcid.org/0000-0002-5985-7434"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Bertrand Meyer","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101704762","display_name":"Manuel Oriol","orcid":"https://orcid.org/0000-0001-7827-8457"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Manuel Oriol","raw_affiliation_strings":["ABB Corporate Research, Industrial Software Systems, Baden-D\u00e4ttwil, Switzerland and University of York, York, UK"],"affiliations":[{"raw_affiliation_string":"ABB Corporate Research, Industrial Software Systems, Baden-D\u00e4ttwil, Switzerland and University of York, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088608244","display_name":"Andrey Tikhomirov","orcid":null},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Andrey Tikhomirov","raw_affiliation_strings":["Software Engineering Laboratory, ITMO, st. Petersburg, Russia"],"affiliations":[{"raw_affiliation_string":"Software Engineering Laboratory, ITMO, st. Petersburg, Russia","institution_ids":["https://openalex.org/I173089394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100339151","display_name":"Wei Yi","orcid":"https://orcid.org/0000-0001-9878-7048"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Yi Wei","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5031470846"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":0.8464,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81841468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1211","last_page":"1216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","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"}}],"keywords":[{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.775770902633667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7000988721847534},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6799312829971313},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5983481407165527},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5375968813896179},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5206950306892395},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4804398715496063},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4041658937931061},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.38793984055519104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3055884540081024},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23445287346839905},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19999557733535767},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.1969660222530365}],"concepts":[{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.775770902633667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7000988721847534},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6799312829971313},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5983481407165527},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5375968813896179},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5206950306892395},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4804398715496063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4041658937931061},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.38793984055519104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3055884540081024},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23445287346839905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19999557733535767},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.1969660222530365},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2480362.2480590","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480590","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1211.3257","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1211.3257","pdf_url":"https://arxiv.org/pdf/1211.3257","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.252.3737","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.3737","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://se.inf.ethz.ch/people/furia/pubs/sac13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.252.3785","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.3785","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://se.inf.ethz.ch/people/furia/pubs/LawsOfTesting-TR12.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.759.1676","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.759.1676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1211.3257.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1211.3257","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1211.3257","pdf_url":"https://arxiv.org/pdf/1211.3257","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5400000214576721}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321942","display_name":"Hasler Stiftung","ror":"https://ror.org/04m3t9183"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W150374354","https://openalex.org/W1504917336","https://openalex.org/W1857528250","https://openalex.org/W1990748503","https://openalex.org/W1996662187","https://openalex.org/W2012854851","https://openalex.org/W2067636118","https://openalex.org/W2069669359","https://openalex.org/W2097462212","https://openalex.org/W2106860490","https://openalex.org/W2107709519","https://openalex.org/W2107751709","https://openalex.org/W2119717320","https://openalex.org/W2138428785","https://openalex.org/W2143232930","https://openalex.org/W2144667363","https://openalex.org/W2171816001","https://openalex.org/W2172260321","https://openalex.org/W3010856131","https://openalex.org/W4206457894","https://openalex.org/W4242126179","https://openalex.org/W6606211016","https://openalex.org/W6633201416"],"related_works":["https://openalex.org/W2122128531","https://openalex.org/W2153411587","https://openalex.org/W2032233321","https://openalex.org/W3121970507","https://openalex.org/W2110028391","https://openalex.org/W54497855","https://openalex.org/W217960748","https://openalex.org/W3125814499","https://openalex.org/W2090827041","https://openalex.org/W2094012830"],"abstract_inverted_index":{"Can":[0],"one":[1],"estimate":[2],"the":[3,46,94,118,128],"number":[4,82,129],"of":[5,31,38,48,72,75,83,86,96,120,130],"remaining":[6],"faults":[7,132],"in":[8,45,93],"a":[9,35,52,73,80,99],"software":[10,39],"system?":[11],"A":[12],"credible":[13],"estimation":[14],"technique":[15],"would":[16,28],"be":[17,30],"immensely":[18],"useful":[19],"to":[20,62],"project":[21],"managers":[22],"as":[23,25,34,58],"well":[24],"customers.":[26],"It":[27],"also":[29],"theoretical":[32],"interest,":[33],"general":[36],"law":[37],"engineering.":[40],"We":[41],"investigate":[42],"possible":[43],"answers":[44],"context":[47],"automated":[49,84,91],"random":[50],"testing,":[51],"method":[53],"that":[54,116],"is":[55],"increasingly":[56],"accepted":[57],"an":[59],"effective":[60],"way":[61],"discover":[63],"faults.":[64],"Our":[65],"experimental":[66],"results,":[67],"derived":[68],"from":[69],"best-fit":[70],"analysis":[71],"variety":[74],"mathematical":[76],"functions,":[77],"based":[78],"on":[79,107],"large":[81],"tests":[85],"library":[87],"code":[88,109],"equipped":[89],"with":[90],"oracles":[92],"form":[95],"contracts,":[97],"suggest":[98],"poly-logarithmic":[100],"law.":[101],"Although":[102],"further":[103],"confirmation":[104],"remains":[105],"necessary":[106],"different":[108,135],"bases":[110],"and":[111,133,137],"testing":[112,121],"techniques,":[113],"we":[114],"argue":[115],"understanding":[117],"laws":[119],"may":[122],"bring":[123],"significant":[124],"benefits":[125],"for":[126],"estimating":[127],"detectable":[131],"comparing":[134],"projects":[136],"practices.":[138]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}