{"id":"https://openalex.org/W1965711102","doi":"https://doi.org/10.1145/1010832.1010860","title":"A preliminary experiment in automated software testing","display_name":"A preliminary experiment in automated software testing","publication_year":1981,"publication_date":"1981-07-01","ids":{"openalex":"https://openalex.org/W1965711102","doi":"https://doi.org/10.1145/1010832.1010860","mag":"1965711102"},"language":"en","primary_location":{"id":"doi:10.1145/1010832.1010860","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010860","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","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/A5060661711","display_name":"J. P. Benson","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jeoff Benson","raw_affiliation_strings":["General Research Corporation, Santa Barbara, California"],"affiliations":[{"raw_affiliation_string":"General Research Corporation, Santa Barbara, California","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060661711"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.2982,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.95353982,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6","issue":"3","first_page":"68","last_page":"75"},"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.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"}},"topics":[{"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.9994000196456909,"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.9991999864578247,"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/executable","display_name":"Executable","score":0.7929924726486206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.657629668712616},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6366456747055054},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.528117299079895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5228562951087952},{"id":"https://openalex.org/keywords/computer-program","display_name":"Computer program","score":0.5162332057952881},{"id":"https://openalex.org/keywords/subroutine","display_name":"Subroutine","score":0.49431586265563965},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.48133930563926697},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4598466157913208},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.44883012771606445},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.36642301082611084},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3504188060760498},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3366544842720032},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13929754495620728},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08511796593666077}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7929924726486206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.657629668712616},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6366456747055054},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.528117299079895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5228562951087952},{"id":"https://openalex.org/C2777362769","wikidata":"https://www.wikidata.org/wiki/Q40056","display_name":"Computer program","level":2,"score":0.5162332057952881},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.49431586265563965},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.48133930563926697},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4598466157913208},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.44883012771606445},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36642301082611084},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3504188060760498},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3366544842720032},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13929754495620728},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08511796593666077},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1010832.1010860","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010860","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W600987917","https://openalex.org/W1528385636","https://openalex.org/W2026431993"],"related_works":["https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W1990602094","https://openalex.org/W2181943964","https://openalex.org/W1528423264","https://openalex.org/W2413861409","https://openalex.org/W2272623212","https://openalex.org/W572858583","https://openalex.org/W131170162","https://openalex.org/W2045697770"],"abstract_inverted_index":{"If":[0],"a":[1,33,45,86,171,232],"method":[2],"were":[3],"discovered":[4,206],"for":[5,10,74,222],"automatically":[6],"testing":[7],"computer":[8],"programs":[9],"errors,":[11],"software":[12],"development":[13,250],"costs":[14],"could":[15],"be":[16,43,63,216],"substantially":[17],"reduced.":[18],"This":[19],"paper":[20],"describes":[21],"an":[22,28,108,196],"experiment":[23],"performed":[24],"as":[25],"part":[26],"of":[27,47,78,90,93,99,114,122,127,147,160,164,251,259],"effort":[29],"to":[30,37,42,62,132,140,218,227,241],"develop":[31],"such":[32],"method.The":[34],"approach":[35],"is":[36,84,88,106,117,248],"insert":[38],"in":[39,142,167,198,207,225,231],"the":[40,52,75,79,82,91,97,100,112,115,119,123,128,137,143,148,153,158,162,165,169,182,199,229,238,249,256,260],"program":[41,53,83,154,166,172,201,261],"tested":[44,174],"number":[46,92],"\"executable":[48],"assertions,\"":[49],"statements":[50],"about":[51],"that":[54,181,213],"trigger":[55],"error":[56,129,149,183,197],"signals":[57],"whenever":[58],"they":[59],"are":[60,68],"evaluated":[61],"false":[64],"(violated).":[65],"Test":[66],"cases":[67],"developed":[69],"by":[70],"systematically":[71],"selecting":[72],"values":[73,98,126,230],"input":[76,101,133,234],"variables":[77,134],"program.":[80,124,144],"When":[81],"run,":[85],"plot":[87],"generated":[89],"assertions":[94,252],"violated":[95],"versus":[96],"variables.":[102],"The":[103,145,178,192],"resulting":[104],"function":[105,116,130,150,184],"termed":[107],"\"error":[109,120],"function\"":[110],"and":[111,189],"range":[113],"called":[118],"space\"":[121],"Maximum":[125],"correspond":[131],"which":[135,202,236,253],"cause":[136,237],"most":[138,239],"errors":[139,240],"occur":[141],"value":[146],"indicates":[151],"whether":[152],"executed":[155],"successfully":[156],"without":[157],"need":[159],"examining":[161],"output":[163],"detail.In":[168],"experiment,":[170],"was":[173,190],"using":[175],"this":[176],"technique.":[177],"results":[179,211],"showed":[180],"did":[185],"not":[186,204],"contain":[187],"singularities":[188],"well-behaved.":[191],"technique":[193],"also":[194],"revealed":[195],"test":[200],"had":[203],"been":[205],"previous":[208],"testing.":[209],"These":[210],"indicate":[212],"it":[214],"may":[215],"possible":[217],"apply":[219],"standard":[220],"techniques":[221],"maximizing":[223],"functions":[224],"order":[226],"locate":[228],"program's":[233],"space":[235],"occur.":[242],"A":[243],"major":[244],"unresolved":[245],"problem":[246],"however":[247],"accurately":[254],"describe":[255],"desired":[257],"behavior":[258],"under":[262],"test.":[263]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}