{"id":"https://openalex.org/W1910316712","doi":"https://doi.org/10.1002/stvr.1489","title":"Automatic test case generation from Simulink/Stateflow models using model checking","display_name":"Automatic test case generation from Simulink/Stateflow models using model checking","publication_year":2013,"publication_date":"2013-01-22","ids":{"openalex":"https://openalex.org/W1910316712","doi":"https://doi.org/10.1002/stvr.1489","mag":"1910316712"},"language":"en","primary_location":{"id":"doi:10.1002/stvr.1489","is_oa":false,"landing_page_url":"https://doi.org/10.1002/stvr.1489","pdf_url":null,"source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","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/A5085837241","display_name":"Swarup Kumar Mohalik","orcid":"https://orcid.org/0000-0002-6167-9892"},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Swarup Mohalik","raw_affiliation_strings":["India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India"],"affiliations":[{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","institution_ids":["https://openalex.org/I2801120862"]},{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045489615","display_name":"A. Gadkari","orcid":null},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Ambar A. Gadkari","raw_affiliation_strings":["India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India"],"affiliations":[{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","institution_ids":["https://openalex.org/I2801120862"]},{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017476836","display_name":"Anand Yeolekar","orcid":"https://orcid.org/0009-0002-3311-8809"},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Anand Yeolekar","raw_affiliation_strings":["India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India"],"affiliations":[{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","institution_ids":["https://openalex.org/I2801120862"]},{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India","institution_ids":["https://openalex.org/I2801120862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040392539","display_name":"K. C. Shashidhar","orcid":"https://orcid.org/0009-0008-5345-1039"},"institutions":[{"id":"https://openalex.org/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"K.C. Shashidhar","raw_affiliation_strings":["India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India"],"affiliations":[{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","institution_ids":["https://openalex.org/I2801120862"]},{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India","institution_ids":["https://openalex.org/I2801120862"]}]},{"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/I2801120862","display_name":"General Motors (India)","ror":"https://ror.org/05g5nrw43","country_code":"IN","type":"company","lineage":["https://openalex.org/I118136607","https://openalex.org/I2801120862"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S. Ramesh","raw_affiliation_strings":["India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India"],"affiliations":[{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development GM Technical Centre India Pvt Ltd. India","institution_ids":["https://openalex.org/I2801120862"]},{"raw_affiliation_string":"India Science Lab, General Motors Global Research and Development, GM Technical Centre India Pvt Ltd., India","institution_ids":["https://openalex.org/I2801120862"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5045489615"],"corresponding_institution_ids":["https://openalex.org/I2801120862"],"apc_list":{"value":3760,"currency":"USD","value_usd":3760},"apc_paid":null,"fwci":4.713,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.94882046,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"24","issue":"2","first_page":"155","last_page":"180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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/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/stateflow","display_name":"Stateflow","score":0.934449315071106},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7444219589233398},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6533057689666748},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6331650614738464},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6273028254508972},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.581073522567749},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.556627631187439},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5285854339599609},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.46544942259788513},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.4584057629108429},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.44170665740966797},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.36801281571388245},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3551482558250427},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21001392602920532},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12470057606697083}],"concepts":[{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.934449315071106},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7444219589233398},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6533057689666748},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6331650614738464},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6273028254508972},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.581073522567749},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.556627631187439},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5285854339599609},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.46544942259788513},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4584057629108429},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.44170665740966797},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36801281571388245},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3551482558250427},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21001392602920532},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12470057606697083},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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.1002/stvr.1489","is_oa":false,"landing_page_url":"https://doi.org/10.1002/stvr.1489","pdf_url":null,"source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Responsible consumption and production","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W19412456","https://openalex.org/W69684575","https://openalex.org/W83267564","https://openalex.org/W1492469996","https://openalex.org/W1495266209","https://openalex.org/W1498542756","https://openalex.org/W1538643901","https://openalex.org/W1552280794","https://openalex.org/W1566440953","https://openalex.org/W1598652638","https://openalex.org/W1608087281","https://openalex.org/W1819577850","https://openalex.org/W1821489642","https://openalex.org/W1863028222","https://openalex.org/W1884521777","https://openalex.org/W1896160926","https://openalex.org/W1898621632","https://openalex.org/W1936354298","https://openalex.org/W2019809768","https://openalex.org/W2052495090","https://openalex.org/W2055647675","https://openalex.org/W2066334880","https://openalex.org/W2071225480","https://openalex.org/W2073018571","https://openalex.org/W2074891852","https://openalex.org/W2100162598","https://openalex.org/W2107360681","https://openalex.org/W2107426858","https://openalex.org/W2115612093","https://openalex.org/W2115803389","https://openalex.org/W2121280877","https://openalex.org/W2125415493","https://openalex.org/W2127574686","https://openalex.org/W2130422196","https://openalex.org/W2133350402","https://openalex.org/W2139099781","https://openalex.org/W2142715983","https://openalex.org/W2147281414","https://openalex.org/W2156176134","https://openalex.org/W2158475682","https://openalex.org/W2162200351","https://openalex.org/W2162663474","https://openalex.org/W2170064878","https://openalex.org/W2171520043","https://openalex.org/W2172253171","https://openalex.org/W2265267050","https://openalex.org/W2521994121","https://openalex.org/W2561675875","https://openalex.org/W2913459036","https://openalex.org/W4211181233","https://openalex.org/W4232992430","https://openalex.org/W4243166436","https://openalex.org/W4247548569","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2152417349","https://openalex.org/W2018145554","https://openalex.org/W2127350021","https://openalex.org/W1598160211","https://openalex.org/W2061183036","https://openalex.org/W186519456","https://openalex.org/W1968494916","https://openalex.org/W2133869707","https://openalex.org/W1486779561","https://openalex.org/W65410446"],"abstract_inverted_index":{"SUMMARY":[0],"Model\u2010based":[1],"test":[2,20,31,75,91],"generation":[3,9,32,76,92],"techniques":[4,33,110],"based":[5,34],"on":[6,35,64,94],"random":[7,89,113],"input":[8],"and":[10,22,62,80,142],"guided":[11],"simulation":[12],"do":[13],"not":[14],"satisfy":[15],"the":[16,47,74,95,112,128,144],"demands":[17],"of":[18,49,78,98,106,146],"high":[19],"coverage":[21],"completeness":[23],"guarantees":[24],"as":[25],"required":[26],"by":[27],"safety\u2010critical":[28,151],"applications.":[29],"Recently,":[30],"model":[36,108,135],"checking":[37],"have":[38],"been":[39,58],"reported":[40],"to":[41,140],"bridge":[42],"this":[43],"gap.":[44],"To":[45],"evaluate":[46],"effectiveness":[48,145],"these":[50],"techniques,":[51],"an":[52],"in\u2010house":[53],"tool":[54,93],"suite,":[55],"AutoMOTGen,":[56],"has":[57],"developed":[59],"for":[60,121],"Simulink/Stateflow":[61],"applied":[63],"real\u2010life":[65],"case":[66],"studies":[67],"at":[68],"General":[69],"Motors.":[70],"This":[71],"paper":[72],"outlines":[73],"methodology":[77],"AutoMOTGen":[79],"gives":[81],"a":[82,86],"comparative":[83],"study":[84],"with":[85],"commercial,":[87],"primarily":[88],"input\u2010based,":[90],"same":[96],"set":[97],"examples.":[99],"The":[100],"results":[101],"indicate":[102],"that":[103,123,134],"in":[104,126,150],"terms":[105],"coverage,":[107],"checking\u2010based":[109,136],"complement":[111,141],"input\u2010based":[114],"techniques.":[115],"In":[116],"addition,":[117],"they":[118],"provide":[119],"proofs":[120],"unreachability":[122],"can":[124],"aid":[125],"debugging":[127],"models.":[129],"Therefore,":[130],"it":[131],"is":[132],"recommended":[133],"tools":[137],"be":[138],"utilized":[139],"enhance":[143],"model\u2010based":[147],"testing":[148],"methods":[149],"systems":[152],"engineering.":[153],"Copyright":[154],"\u00a9":[155],"2013":[156],"John":[157],"Wiley":[158],"&":[159],"Sons,":[160],"Ltd.":[161]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}