{"id":"https://openalex.org/W2966277498","doi":"https://doi.org/10.1109/mise.2019.00014","title":"A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models","display_name":"A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2966277498","doi":"https://doi.org/10.1109/mise.2019.00014","mag":"2966277498"},"language":"en","primary_location":{"id":"doi:10.1109/mise.2019.00014","doi":"https://doi.org/10.1109/mise.2019.00014","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mise.2019.00014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","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/A5002638586","display_name":"Takashi Tomita","orcid":"https://orcid.org/0000-0003-1249-7862","observed_orcids":["https://orcid.org/0000-0003-1249-7862"]},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Tomita","raw_affiliation_strings":["Research Center for Advanced Computing Infrastructure Japan Advanced Institute of Science and Technology, Ishikawa, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Center for Advanced Computing Infrastructure Japan Advanced Institute of Science and Technology, Ishikawa, Japan","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Daisuke Ishii","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I111966504","display_name":"University of Fukui","ror":"https://ror.org/00msqp585","country_code":"JP","type":"education","lineage":["https://openalex.org/I111966504"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Daisuke Ishii","raw_affiliation_strings":["Dept. of Information Science, University of Fukui, Fukui, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Information Science, University of Fukui, Fukui, Japan","institution_ids":["https://openalex.org/I111966504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112503655","display_name":"Toru Murakami","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Toru Murakami","raw_affiliation_strings":["Engineering Service Division Gaio Technology Co, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Service Division Gaio Technology Co, Tokyo, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007429419","display_name":"Shigeki Takeuchi","orcid":"https://orcid.org/0000-0001-7731-003X","observed_orcids":["https://orcid.org/0000-0001-7731-003X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shigeki Takeuchi","raw_affiliation_strings":["Engineering Service Division Gaio Technology Co, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Engineering Service Division Gaio Technology Co, Tokyo, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068781921","display_name":"Toshiaki Aoki","orcid":"https://orcid.org/0000-0002-1209-6375","observed_orcids":["https://orcid.org/0000-0002-1209-6375"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Toshiaki Aoki","raw_affiliation_strings":["School of Information Science Advanced Institute of Science and Technology, Ishikawa, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science Advanced Institute of Science and Technology, Ishikawa, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2516,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81417263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"46"},"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.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"}},"topics":[{"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/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/automatic-test-generation","display_name":"automated test generation","score":0.7039999961853027},{"id":"https://openalex.org/keywords/simulink-model","display_name":"Simulink model","score":0.8560000061988831},{"id":"https://openalex.org/keywords/monte-carlo-testing","display_name":"Monte Carlo testing","score":0.8080000281333923},{"id":"https://openalex.org/keywords/test-suite-generation","display_name":"test suite generation","score":0.6890000104904175},{"id":"https://openalex.org/keywords/model-driven-engineering","display_name":"model-driven engineering","score":0.7269999980926514},{"id":"https://openalex.org/keywords/automotive-control-software","display_name":"automotive control software","score":0.7839999794960022},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.31299999356269836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7766910791397095},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7146612405776978},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.6787588000297546},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6341190338134766},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.5447289943695068},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.45872044563293457},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4298918843269348},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.42498892545700073},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3532488942146301},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12923946976661682},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10272479057312012},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09319606423377991},{"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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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.1109/mise.2019.00014","doi":"https://doi.org/10.1109/mise.2019.00014","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mise.2019.00014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W65410446","https://openalex.org/W132594803","https://openalex.org/W1910316712","https://openalex.org/W2070785476","https://openalex.org/W2118834741","https://openalex.org/W2133350402","https://openalex.org/W2142715983","https://openalex.org/W2229094708","https://openalex.org/W2253023381","https://openalex.org/W2588551419","https://openalex.org/W2936814977","https://openalex.org/W3144270478","https://openalex.org/W6761582444"],"related_works":["https://openalex.org/W2018145554","https://openalex.org/W2127350021","https://openalex.org/W1598160211","https://openalex.org/W2061183036","https://openalex.org/W1968494916","https://openalex.org/W2133869707","https://openalex.org/W1486779561","https://openalex.org/W2204156854","https://openalex.org/W2591654319","https://openalex.org/W2914555867"],"abstract_inverted_index":{"MATLAB/Simulink":[0],"is":[1,23],"the":[2,8,116],"de":[3],"facto":[4],"standard":[5],"tool":[6,53,62,117],"for":[7,15,29,54,65,71],"model-based":[9],"development":[10],"(MBD)":[11],"of":[12,40,42,108],"control":[13],"software":[14],"automotive":[16,31],"systems.":[17],"A":[18],"model":[19,27],"developed":[20],"in":[21],"MBD":[22],"called":[24],"a":[25,103],"Simulink":[26,59,79,95],"and,":[28],"real":[30],"systems,":[32],"involves":[33],"complex":[34,58],"computation":[35],"as":[36,38],"well":[37],"tens":[39],"thousands":[41],"blocks.":[43],"In":[44],"this":[45],"paper,":[46],"we":[47],"propose":[48],"an":[49],"automated":[50],"test":[51,109,120],"generation":[52,101],"such":[55],"large":[56],"and":[57,83,88,129],"models.":[60],"The":[61],"provides":[63],"functions":[64],"(1)":[66],"automatically":[67],"generating":[68],"high-coverage":[69],"test-suites":[70],"practical":[72,123],"models,":[73],"which":[74],"cannot":[75],"be":[76],"handled":[77],"by":[78],"Design":[80],"Verifier":[81],"(SLDV),":[82],"(2)":[84],"measuring":[85],"decision,":[86],"condition":[87],"MC/DC":[89],"coverage":[90,128],"much":[91],"more":[92],"efficiently":[93],"than":[94,133],"Coverage":[96],"(SLC).":[97],"This":[98],"automatic":[99],"test-suite":[100],"adopts":[102],"Monte-Carlo":[104],"method":[105],"with":[106,126],"templates":[107],"cases.":[110],"Our":[111],"experimental":[112],"evaluation":[113],"shows":[114],"that":[115],"can":[118],"provide":[119],"suites":[121],"against":[122],"implementation":[124],"models":[125],"higher":[127],"shorter":[130],"execution":[131],"times":[132],"SLDV.":[134]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2025-10-10T00:00:00"}