{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:39Z","timestamp":1778349579104,"version":"3.51.4"},"reference-count":86,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1109\/saner.2017.7884636","type":"proceedings-article","created":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T07:11:58Z","timestamp":1490339518000},"page":"359-370","source":"Crossref","is-referenced-by-count":31,"title":["Improving fault localization for Simulink models using search-based testing and prediction models"],"prefix":"10.1109","author":[{"given":"Bing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Lucia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","first-page":"308","article-title":"An integrated test generation tool for enhanced coverage of simulink\/statefiow models","author":"peranandam","year":"2012","journal-title":"Design Automation & Test in Europe Conference & Exhibition"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_19"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059183"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291172"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.05.039"},{"key":"ref77","first-page":"208","article-title":"Mutation-based test case generation for simulink models","author":"brillout","year":"2009","journal-title":"Int Symposium on Formal Methods for Components and Objects"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.444"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.31"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068188"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"ref78","first-page":"84","article-title":"An instrumentation-based approach to controller model validation","author":"cleaveland","year":"2006","journal-title":"Automotive Software Workshop"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.42"},{"key":"ref33","article-title":"experiment related","author":"liu","year":"0"},{"key":"ref32","article-title":"Stateflow","year":"0"},{"key":"ref31","article-title":"Delphi automotive luxembourg","year":"0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/30.1-2.81"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/2642937.2642983","article-title":"Fusion fault localizers","author":"lucia","year":"2014","journal-title":"Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"ref34","first-page":"320","article-title":"Adaptive random testing","author":"chen","year":"2005","journal-title":"Advances in Computer Science-ASIAN Higher-Level Decision Making"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1401827.1401835"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100059"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931056"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786818"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970320"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.007"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5071030"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830732"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1137\/S0895480102412856"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1489"},{"key":"ref68","article-title":"Simulink design verifier-applying automated formal methods to simulink and stateflow","author":"hamon","year":"2008","journal-title":"Third Workshop on Automated Formal Methods"},{"key":"ref69","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/1450058.1450088","article-title":"Randomized directed testing (redirect) for simulink\/statefiow models","author":"satpathy","year":"2008","journal-title":"Proceedings of the 8th ACM International Conference on Embedded Software"},{"key":"ref2","article-title":"Simulink","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405312"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.77"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref23","first-page":"101","article-title":"Classification and regression trees","volume":"93","author":"olshen","year":"1984","journal-title":"Wadsworth International Group"},{"key":"ref26","author":"jaccard","year":"1901","journal-title":"Etude Comparative de la Distribution Florale dans Une Portion des Alpes et du Jura Impr Corbaz"},{"key":"ref25","article-title":"Essentials of metaheuristics","volume":"113","author":"luke","year":"2009"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1388969.1388979"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287707"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277172"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/41.2.98"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.3.CO;2-M"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390662"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068187"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.65"},{"key":"ref40","first-page":"281","article-title":"Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis","author":"williams","year":"2005","journal-title":"European Dependable Computing Conference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1605"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.38"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693085"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648622"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2012.6210014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336790"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.42"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831715"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001427"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641209"},{"key":"ref4","author":"zander","year":"2011","journal-title":"Model-Based Testing for Embedded Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0165-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081753"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/2896982.2896983"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065014"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100092"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.40"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100119"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","article-title":"Cute: a concolic unit testing engine for c","volume":"30","author":"sen","year":"2005","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_24"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","article-title":"Pex-white box test generation for. net","author":"tillmann","year":"2008","journal-title":"International Conference on Tests and Proofs"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","article-title":"Dart: directed automated random testing","volume":"40","author":"godefroid","year":"2005","journal-title":"ACM SIGPLAN Notices"}],"event":{"name":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Klagenfurt, Austria","start":{"date-parts":[[2017,2,20]]},"end":{"date-parts":[[2017,2,24]]}},"container-title":["2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879528\/7884596\/07884636.pdf?arnumber=7884636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T21:09:35Z","timestamp":1658869775000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7884636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2]]},"references-count":86,"URL":"https:\/\/doi.org\/10.1109\/saner.2017.7884636","relation":{},"subject":[],"published":{"date-parts":[[2017,2]]}}}