{"id":"https://openalex.org/W2067689875","doi":"https://doi.org/10.1145/2744769.2747935","title":"Model-based testing of automotive software","display_name":"Model-based testing of automotive software","publication_year":2015,"publication_date":"2015-06-02","ids":{"openalex":"https://openalex.org/W2067689875","doi":"https://doi.org/10.1145/2744769.2747935","mag":"2067689875"},"language":"en","primary_location":{"id":"doi:10.1145/2744769.2747935","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2747935","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","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/A5079848365","display_name":"Alexandre Petrenko","orcid":"https://orcid.org/0000-0002-2938-1666"},"institutions":[{"id":"https://openalex.org/I4210111842","display_name":"Computer Research Institute of Montr\u00e9al","ror":"https://ror.org/0279d5115","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210111842"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Alexandre Petrenko","raw_affiliation_strings":["Computer Research Institute of Montreal, CRIM Canada","Computer Research Institute of Montreal, CRIM, Canada"],"affiliations":[{"raw_affiliation_string":"Computer Research Institute of Montreal, CRIM Canada","institution_ids":["https://openalex.org/I4210111842"]},{"raw_affiliation_string":"Computer Research Institute of Montreal, CRIM, Canada","institution_ids":["https://openalex.org/I4210111842"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050633462","display_name":"Omer Nguena Timo","orcid":"https://orcid.org/0000-0002-8336-6600"},"institutions":[{"id":"https://openalex.org/I4210111842","display_name":"Computer Research Institute of Montr\u00e9al","ror":"https://ror.org/0279d5115","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210111842"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Omer Nguena Timo","raw_affiliation_strings":["Computer Research Institute of Montreal, CRIM Canada","Computer Research Institute of Montreal, CRIM, Canada"],"affiliations":[{"raw_affiliation_string":"Computer Research Institute of Montreal, CRIM Canada","institution_ids":["https://openalex.org/I4210111842"]},{"raw_affiliation_string":"Computer Research Institute of Montreal, CRIM, Canada","institution_ids":["https://openalex.org/I4210111842"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081333705","display_name":"S. Ramesh","orcid":"https://orcid.org/0000-0003-1361-8224"},"institutions":[{"id":"https://openalex.org/I4210113932","display_name":"Materials Systems (United States)","ror":"https://ror.org/027smmx64","country_code":"US","type":"company","lineage":["https://openalex.org/I4210113932"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Ramesh","raw_affiliation_strings":["GM Global R&D Warren, MI","GM Global R&D, Warren, MI, USA"],"affiliations":[{"raw_affiliation_string":"GM Global R&D Warren, MI","institution_ids":[]},{"raw_affiliation_string":"GM Global R&D, Warren, MI, USA","institution_ids":["https://openalex.org/I4210113932"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079848365"],"corresponding_institution_ids":["https://openalex.org/I4210111842"],"apc_list":null,"apc_paid":null,"fwci":4.4245,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.94187731,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6701282262802124},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5879015326499939},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5739843845367432},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5439288020133972},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.5420639514923096},{"id":"https://openalex.org/keywords/manual-testing","display_name":"Manual testing","score":0.5085455179214478},{"id":"https://openalex.org/keywords/test-management-approach","display_name":"Test Management Approach","score":0.5064123868942261},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4670138955116272},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4560413956642151},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.446135550737381},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43454426527023315},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43371233344078064},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4264284372329712},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.4235802888870239},{"id":"https://openalex.org/keywords/system-integration-testing","display_name":"System integration testing","score":0.4174045920372009},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.41389814019203186},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41389259696006775},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41323620080947876},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4104998707771301},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3503868579864502},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.26202094554901123},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2036045491695404},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1373676061630249},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12291556596755981}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6701282262802124},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5879015326499939},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5739843845367432},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5439288020133972},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.5420639514923096},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.5085455179214478},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.5064123868942261},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4670138955116272},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4560413956642151},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.446135550737381},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43454426527023315},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43371233344078064},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4264284372329712},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.4235802888870239},{"id":"https://openalex.org/C111524372","wikidata":"https://www.wikidata.org/wiki/Q7663718","display_name":"System integration testing","level":5,"score":0.4174045920372009},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.41389814019203186},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41389259696006775},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41323620080947876},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4104998707771301},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3503868579864502},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.26202094554901123},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2036045491695404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1373676061630249},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12291556596755981},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2744769.2747935","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744769.2747935","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 52nd Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1498631091","https://openalex.org/W1910316712","https://openalex.org/W1934855418","https://openalex.org/W2002644257","https://openalex.org/W2030871020","https://openalex.org/W2035610952","https://openalex.org/W2070633450","https://openalex.org/W2075773711","https://openalex.org/W2084555692","https://openalex.org/W2099529102","https://openalex.org/W2122676216","https://openalex.org/W2125415493","https://openalex.org/W2125967324","https://openalex.org/W2129538349","https://openalex.org/W2132661148","https://openalex.org/W2139059344","https://openalex.org/W2147880466","https://openalex.org/W2159433799","https://openalex.org/W2169528473","https://openalex.org/W2248666257","https://openalex.org/W3103198618"],"related_works":["https://openalex.org/W3214776400","https://openalex.org/W3197709817","https://openalex.org/W2513279291","https://openalex.org/W1992311253","https://openalex.org/W2094781813","https://openalex.org/W2113385454","https://openalex.org/W2413508222","https://openalex.org/W2098804367","https://openalex.org/W2398538695","https://openalex.org/W2931644080"],"abstract_inverted_index":{"Automotive":[0],"software":[1,30],"has":[2],"been":[3],"growing":[4],"in":[5,27,40,138],"size,":[6],"criticality":[7],"and":[8,20,70],"complexity":[9],"with":[10],"each":[11],"new":[12],"generation":[13,58,120],"of":[14,34,54],"vehicles.":[15],"Testing":[16],"at":[17,105],"the":[18,29,41,74,87],"model":[19],"code":[21],"level":[22],"is":[23,59,113],"an":[24],"important":[25],"step":[26],"validating":[28],"against":[31],"various":[32],"types":[33],"defects":[35],"that":[36,117],"may":[37],"be":[38,81],"introduced":[39],"development":[42],"process.":[43],"Model":[44],"based":[45],"testing":[46,55,96],"(MBT)":[47],"methodology,":[48],"paves":[49],"a":[50,60,84,132],"road":[51],"towards":[52],"automation":[53],"activities.":[56],"Test":[57],"computationally":[61],"complex":[62],"task,":[63],"which":[64,98],"requires":[65],"efficient":[66],"constraint":[67],"solving":[68],"techniques":[69],"some":[71],"guidance":[72],"from":[73],"test":[75,107,119],"engineer":[76],"when":[77],"this":[78,128,139],"task":[79],"cannot":[80],"solved":[82],"by":[83],"tool.":[85,111],"At":[86],"same":[88],"time,":[89],"automatic":[90],"tools":[91,121],"can":[92,99],"hardly":[93],"substitute":[94],"domain":[95],"experts":[97],"develop":[100],"more":[101],"effective":[102],"tests":[103],"or":[104],"least":[106],"fragments":[108],"than":[109],"any":[110],"This":[112],"why":[114],"we":[115,130],"believe":[116],"future":[118],"should":[122],"support":[123],"\"tester-in-the-loop\"":[124],"MBT":[125],"approaches.":[126],"In":[127],"paper,":[129],"provide":[131],"brief":[133],"report":[134],"on":[135],"our":[136],"results":[137],"direction.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}