{"id":"https://openalex.org/W2062543991","doi":"https://doi.org/10.1145/2554850.2554934","title":"An empirical study of requirements-based test generation on an automobile control system","display_name":"An empirical study of requirements-based test generation on an automobile control system","publication_year":2014,"publication_date":"2014-03-24","ids":{"openalex":"https://openalex.org/W2062543991","doi":"https://doi.org/10.1145/2554850.2554934","mag":"2062543991"},"language":"en","primary_location":{"id":"doi:10.1145/2554850.2554934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2554850.2554934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","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/A5063378200","display_name":"Ruizhi Gao","orcid":"https://orcid.org/0000-0002-3258-689X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ruizhi Gao","raw_affiliation_strings":["University of Texas at Dallas, Dallas, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, Texas","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039126367","display_name":"Jeong Soo Eo","orcid":"https://orcid.org/0009-0001-5332-1823"},"institutions":[{"id":"https://openalex.org/I49946491","display_name":"Hyundai Motors (South Korea)","ror":"https://ror.org/016kvft77","country_code":"KR","type":"company","lineage":["https://openalex.org/I197312522","https://openalex.org/I49946491"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeong Soo Eo","raw_affiliation_strings":["Hyundai Motor Company, Korea"],"affiliations":[{"raw_affiliation_string":"Hyundai Motor Company, Korea","institution_ids":["https://openalex.org/I49946491"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066624039","display_name":"W. Eric Wong","orcid":"https://orcid.org/0000-0002-1021-4753"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"W. Eric Wong","raw_affiliation_strings":["University of Texas at Dallas, Dallas, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, Texas","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064951835","display_name":"Xinwei Gao","orcid":"https://orcid.org/0000-0003-1155-9160"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xinwei Gao","raw_affiliation_strings":["University of Texas at Dallas, Dallas, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, Texas","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062535528","display_name":"Shou-Yu Lee","orcid":"https://orcid.org/0000-0003-2770-0106"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shou-Yu Lee","raw_affiliation_strings":["University of Texas at Dallas, Dallas, Texas"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, Texas","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5063378200"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3103,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81696273,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1094","last_page":"1099"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10743","display_name":"Software Testing and Debugging Techniques","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.994700014591217,"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.5889567732810974},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4684128165245056},{"id":"https://openalex.org/keywords/non-functional-testing","display_name":"Non-functional testing","score":0.4659263789653778},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.44239088892936707},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.43634524941444397},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42044925689697266},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3189210295677185},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2803363800048828},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.16330507397651672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5889567732810974},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4684128165245056},{"id":"https://openalex.org/C26336911","wikidata":"https://www.wikidata.org/wiki/Q7048920","display_name":"Non-functional testing","level":5,"score":0.4659263789653778},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.44239088892936707},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.43634524941444397},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42044925689697266},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3189210295677185},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2803363800048828},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.16330507397651672},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2554850.2554934","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2554850.2554934","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W150374354","https://openalex.org/W1992639336","https://openalex.org/W2105111802","https://openalex.org/W2108280166","https://openalex.org/W2124040333","https://openalex.org/W2136264185","https://openalex.org/W2161101035","https://openalex.org/W2501018404","https://openalex.org/W2911595631","https://openalex.org/W2955557763","https://openalex.org/W3010856131","https://openalex.org/W6765140742"],"related_works":["https://openalex.org/W4382644535","https://openalex.org/W2522768275","https://openalex.org/W2352938035","https://openalex.org/W2351672553","https://openalex.org/W2373392303","https://openalex.org/W2765894405","https://openalex.org/W1884735063","https://openalex.org/W2372668238","https://openalex.org/W3014736799","https://openalex.org/W3142359429"],"abstract_inverted_index":{"Requirements-based":[0],"test":[1,15,119,161,195],"generation":[2,120],"techniques":[3,121,175],"have":[4],"been":[5,151],"widely":[6],"used":[7,73],"in":[8,61,93,170],"industry":[9],"to":[10,17,25,74,153,206],"help":[11,207],"practitioners":[12],"generate":[13],"appropriate":[14],"cases":[16,196],"ensure":[18],"that":[19,42,168],"their":[20,211],"software":[21,52,71,199],"systems":[22],"behave":[23],"according":[24],"customer":[26],"expectations.":[27],"These":[28],"tests":[29],"provide":[30],"a":[31,38,59,68,114,132,146,188,190],"solid":[32],"foundation":[33],"for":[34,47,197],"functional":[35],"testing":[36],"--":[37],"critical,":[39],"essential":[40],"step":[41],"must":[43],"be":[44,177,203],"performed":[45],"properly":[46],"quality":[48,194],"assurance":[49],"of":[50,80,172,183,192],"any":[51,84,171],"system.":[53],"In":[54,144],"this":[55,89,110],"paper,":[56],"we":[57,112],"present":[58],"study,":[60],"collaboration":[62],"with":[63],"Hyundai":[64,208],"Motor":[65],"Company,":[66],"on":[67],"real-life":[69],"industrial":[70],"system":[72],"control":[75],"the":[76,155,173,181,184,198],"driver's":[77],"demand":[78],"torque":[79],"an":[81],"automobile.":[82],"Since":[83],"hazardous":[85],"incident":[86],"caused":[87],"by":[88,179],"mechanism":[90],"may":[91],"result":[92],"significant":[94],"property":[95],"loss":[96],"or":[97],"even":[98],"fatalities,":[99],"its":[100],"safe":[101],"and":[102,136,141,158],"reliable":[103],"operation":[104],"becomes":[105],"absolutely":[106],"imperative.":[107],"To":[108],"overcome":[109],"problem,":[111],"propose":[113],"framework":[115],"including":[116],"different":[117],"requirements-based":[118],"such":[122],"as":[123],"equivalence":[124],"class":[125],"partitioning":[126],"(ECP),":[127],"boundary":[128],"value":[129],"analysis":[130],"(BVA),":[131],"choice":[133],"relation":[134],"framework,":[135],"predicate":[137],"testing-based":[138],"BOR,":[139,156],"BRO,":[140],"BRE":[142],"strategies.":[143],"addition,":[145],"tool":[147],"named":[148],"C-Set":[149],"has":[150],"developed":[152],"support":[154],"BRO":[157],"BRE-based":[159],"automatic":[160],"generation.":[162],"Results":[163],"from":[164],"our":[165],"study":[166],"indicate":[167],"weaknesses":[169],"above":[174],"can":[176,202],"mitigated":[178],"exploiting":[180],"strengths":[182],"other":[185],"techniques.":[186],"As":[187],"result,":[189],"set":[191],"high":[193],"being":[200],"studied":[201],"efficiently":[204],"generated":[205],"engineers":[209],"improve":[210],"productivity.":[212]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}