{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:12:27Z","timestamp":1783613547724,"version":"3.55.0"},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T00:00:00Z","timestamp":1521590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation programme","award":["grant agreement No 694277"],"award-info":[{"award-number":["grant agreement No 694277"]}]},{"name":"Delphi Automotive"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10664-018-9611-z","type":"journal-article","created":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T07:04:17Z","timestamp":1521615857000},"page":"444-490","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy"],"prefix":"10.1007","volume":"24","author":[{"given":"Bing","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Lucia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"9611_CR1","doi-asserted-by":"crossref","unstructured":"Abreu R, Zoeteweij P, Van Gemund AJ (2007) On the accuracy of spectrum-based fault localization. In: Proceedings of testing: academic and industrial conference practice and research techniques-MUTATION. IEEE, pp 89\u201398","DOI":"10.1109\/TAIC.PART.2007.13"},{"issue":"6","key":"9611_CR2","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/93548.93576","volume":"25","author":"H Agrawal","year":"1990","unstructured":"Agrawal H, Horgan JR (1990) Dynamic program slicing. ACM SIGPLAN Not 25(6):246\u2013256","journal-title":"ACM SIGPLAN Not"},{"key":"9611_CR3","volume-title":"Compilers: principles, techniques, and tools","author":"AV Aho","year":"2007","unstructured":"Aho AV, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools. Addison-Wesley, Reading"},{"issue":"7","key":"9611_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"FE Allen","year":"1970","unstructured":"Allen FE (1970) Control flow analysis. SIGPLAN Notices 5(7):1\u201319","journal-title":"SIGPLAN Notices"},{"key":"9611_CR5","doi-asserted-by":"crossref","unstructured":"Alshahwan N, Harman M (2014) Coverage and fault detection of the output-uniqueness test selection criteria. In: Proceedings of the 23rd international symposium on software testing and analysis (ISSTA\u201914). ACM, pp 181\u2013192","DOI":"10.1145\/2610384.2610413"},{"key":"9611_CR6","doi-asserted-by":"crossref","unstructured":"Androutsopoulos K, Clark D, Dan H, Hierons RM, Harman M (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. In: Proceedings of the 36th international conference on software engineering (ICSE\u201914). ACM, pp 573\u2013583","DOI":"10.1145\/2568225.2568314"},{"issue":"3","key":"9611_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2014","unstructured":"Arcuri A, Briand L (2014) A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Softw Test Verif Reliab 24(3):219\u2013250","journal-title":"Softw Test Verif Reliab"},{"key":"9611_CR8","doi-asserted-by":"crossref","unstructured":"Artzi S, Dolby J, Tip F, Pistoia M (2010) Directed test generation for effective fault localization. In: Proceedings of the 19th international symposium on software testing and analysis (ISSTA\u201910). ACM, pp 49\u201360","DOI":"10.1145\/1831708.1831715"},{"key":"9611_CR9","doi-asserted-by":"crossref","unstructured":"Bagherzadeh M, Hili N, Dingel J (2017) Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In: Proceedings of the 11th joint meeting on foundations of software engineering (ESEC\/FSE\u201917). ACM, pp 419\u2013430","DOI":"10.1145\/3106237.3106278"},{"key":"9611_CR10","doi-asserted-by":"crossref","unstructured":"Balasubramanian D, Pasareanu CS, Whalen MW, Karsai G, Lowry M (2011) Polyglot: modeling and analysis for multiple statechart formalisms. In: Proceedings of the 20th international symposium on software testing and analysis (ISSTA\u201911). ACM, pp 45\u201355","DOI":"10.1145\/2001420.2001427"},{"key":"9611_CR11","doi-asserted-by":"crossref","unstructured":"Baudry B, Fleurey F, Le Traon Y (2006) Improving test suites for efficient fault localization. In: Proceedings of the 28th international conference on software engineering (ICSE\u201906). ACM, pp 82\u201391","DOI":"10.1145\/1134285.1134299"},{"key":"9611_CR12","doi-asserted-by":"crossref","unstructured":"Ben Abdessalem R, Nejati S, Briand L, Stifter T (2016) Testing advanced driver assistance systems using multi-objective search and neural networks. In: Proceedings of the 31st international conference on automated software engineering (ASE\u201916). ACM, pp 63\u201374","DOI":"10.1145\/2970276.2970311"},{"key":"9611_CR13","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"RV Binder","year":"2000","unstructured":"Binder RV (2000) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Professional, Reading"},{"key":"9611_CR14","volume-title":"Classification and regression trees","author":"L Breiman","year":"1984","unstructured":"Breiman L, Friedman J, Stone CJ, Olshen RA (1984) Classification and regression trees. CRC Press, Boca Raton"},{"key":"9611_CR15","doi-asserted-by":"crossref","unstructured":"Briand L, Nejati S, Sabetzadeh M, Bianculli D (2016) Testing the untestable: model testing of complex software-intensive systems. In: Companion proceedings of the 38th international conference on software engineering, (ICSE\u201916), pp 789\u2013792","DOI":"10.1145\/2889160.2889212"},{"key":"9611_CR16","unstructured":"Brillout A, He N, Mazzucchi M, Kroening D, Purandare M, R\u00fcmmer P., Weissenbacher G (2009) Mutation-based test case generation for simulink models. In: International symposium on formal methods for components and objects. Springer, pp 208\u2013227"},{"key":"9611_CR17","doi-asserted-by":"crossref","unstructured":"Campos J, Abreu R, Fraser G, d\u2019Amorim M (2013) Entropy-based test generation for improved fault localization. In: Proceedings of the 28th international conference on automated software engineering (ASE\u201913). IEEE, pp 257\u2013267","DOI":"10.1109\/ASE.2013.6693085"},{"key":"9611_CR18","doi-asserted-by":"crossref","unstructured":"Chen TY, Leung H, Mak I (2004) Adaptive random testing. In: Proceedings of the 9th Asian computing science conference, pp 320\u2013329","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"9611_CR19","doi-asserted-by":"crossref","unstructured":"Clark D, Feldt R, Poulding S, Yoo S (2015) Information transformation: an underpinning theory for software engineering. In: Proceedings of the 37th international conference on software engineering (ICSE\u201915), vol 2. IEEE, pp 599\u2013602","DOI":"10.1109\/ICSE.2015.202"},{"key":"9611_CR20","unstructured":"Cleve H, Zeller A (2005) Locating causes of program failures. In: Proceedings of the 27th international conference on software engineering (ICSE\u201905). ACM, pp 342\u2013351"},{"issue":"1","key":"9611_CR21","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1137\/S0895480102412856","volume":"17","author":"R Fagin","year":"2003","unstructured":"Fagin R, Kumar R, Sivakumar D (2003) Comparing top k lists. SIAM J Discret Math 17(1):134\u2013160","journal-title":"SIAM J Discret Math"},{"issue":"2","key":"9611_CR22","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2013","unstructured":"Fraser G, Arcuri A (2013) Whole test suite generation. IEEE Trans Softw Eng (TSE) 39(2):276\u2013291","journal-title":"IEEE Trans Softw Eng (TSE)"},{"issue":"3","key":"9611_CR23","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/2934672","volume":"25","author":"G Gay","year":"2016","unstructured":"Gay G, Rajan A, Staats M, Whalen MW, Heimdahl MPE (2016) The effect of program and model structure on the effectiveness of MC\/DC test adequacy coverage. ACM Trans Softw Eng Methodol (TOSEM) 25(3):25:1\u201325:34","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"9611_CR24","doi-asserted-by":"crossref","unstructured":"Gerlitz T, Kowalewski S (2016) Flow sensitive slicing for MATLAB\/Simulink models. In: Proceedings of the 13th working IEEE\/IFIP conference on software architecture. IEEE, pp 81\u201390","DOI":"10.1109\/WICSA.2016.23"},{"key":"9611_CR25","doi-asserted-by":"crossref","unstructured":"Gold NE, Binkley D, Harman M, Islam S, Krinke J, Yoo S (2017) Generalized observational slicing for tree-represented modelling languages. In: Proceedings of the 11th joint meeting on foundations of software engineering (ESEC\/FSE\u201917), pp 547\u2013558","DOI":"10.1145\/3106237.3106304"},{"key":"9611_CR26","unstructured":"Hamon G (2008) Simulink Design Verifier-Applying automated formal methods to Simulink and StateFlow. In: Proceedings of the 3rd workshop on automated formal methods"},{"key":"9611_CR27","doi-asserted-by":"crossref","unstructured":"Hanh LTM, Binh NT (2012) Mutation operators for Simulink models. In: Proceedings of the 4th international conference on knowledge and systems engineering. IEEE, pp 54\u201359","DOI":"10.1109\/KSE.2012.22"},{"key":"9611_CR28","doi-asserted-by":"crossref","unstructured":"He N, R\u00fcmmer P., Kroening D (2011) Test-case generation for embedded Simulink via formal concept analysis. In: Proceedings of the 48th design automation conference. ACM, pp 224\u2013229","DOI":"10.1145\/2024724.2024777"},{"key":"9611_CR29","unstructured":"Jaccard P (1901) Etude comparative de la distribution florale dans une portion des Alpes et du Jura. Impr. Corbaz"},{"key":"9611_CR30","doi-asserted-by":"crossref","unstructured":"Jiang B, Zhang Z, Chan WK, Tse T (2009) Adaptive random test case prioritization. In: Proceedings of the 24th international conference on automated software engineering (ASE\u201909). IEEE, pp 233\u2013244","DOI":"10.1109\/ASE.2009.77"},{"key":"9611_CR31","doi-asserted-by":"crossref","unstructured":"Jones JA, Harrold MJ (2005) Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the 20th international conference on automated software engineering (ASE\u201905). ACM, pp 273\u2013282","DOI":"10.1145\/1101908.1101949"},{"key":"9611_CR32","doi-asserted-by":"crossref","unstructured":"Jones JA, Harrold MJ, Stasko J (2002) Visualization of test information to assist fault localization. In: Proceedings of the 24th international conference on software engineering (ICSE\u201902). ACM, pp 467\u2013477","DOI":"10.1145\/581396.581397"},{"issue":"2","key":"9611_CR33","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1111\/j.2006.0030-1299.14714.x","volume":"113","author":"L Jost","year":"2006","unstructured":"Jost L (2006) Entropy and diversity. Oikos 113(2):363\u2013375","journal-title":"Oikos"},{"key":"9611_CR34","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1093\/biomet\/30.1-2.81","volume":"30","author":"MG Kendall","year":"1938","unstructured":"Kendall MG (1938) A new measure of rank correlation. Biometrika 30:81\u201393","journal-title":"Biometrika"},{"key":"9611_CR35","unstructured":"Kendall MG (1948) Rank correlation methods. Griffin"},{"key":"9611_CR36","doi-asserted-by":"crossref","unstructured":"Le TDB, Lo D (2013) Will fault localization work for these failures? An automated approach to predict effectiveness of fault localization tools. In: Proceeding of the 29th international conference on software maintenance (ICSM\u201913). IEEE, pp 310\u2013319","DOI":"10.1109\/ICSM.2013.42"},{"issue":"6","key":"9611_CR37","first-page":"15","volume":"40","author":"B Liblit","year":"2005","unstructured":"Liblit B, Naik M, Zheng AX, Aiken A, Jordan MI (2005) Scalable statistical bug isolation. ACM Spec Interest Group Programm Lang Not 40(6):15\u201326","journal-title":"ACM Spec Interest Group Programm Lang Not"},{"key":"9611_CR38","unstructured":"Liu B (2017) Experiments data. https:\/\/github.com\/Avartar\/TCGenForFL\/"},{"issue":"5","key":"9611_CR39","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/1095430.1081753","volume":"30","author":"C Liu","year":"2005","unstructured":"Liu C, Yan X, Fei L, Han J, Midkiff SP (2005) Sober: statistical model-based bug localization. ACM SIGSOFT Softw Eng Notes 30(5):286\u2013295","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"9611_CR40","doi-asserted-by":"crossref","unstructured":"Liu B, Lucia, Nejati S, Briand L, Bruckmann T (2016a) Localizing multiple faults in Simulink models. In: Proceedings of the 23rd international conference on software analysis, evolution, and reengineering (SANER\u201916). IEEE, pp 146\u2013156","DOI":"10.1109\/SANER.2016.38"},{"key":"9611_CR41","doi-asserted-by":"crossref","unstructured":"Liu B, Lucia, Nejati S, Briand L, Bruckmann T (2016b) Simulink fault localization: an iterative statistical debugging approach. Softw Test Verif Reliab J 431\u2013459","DOI":"10.1002\/stvr.1605"},{"key":"9611_CR42","doi-asserted-by":"crossref","unstructured":"Liu B, Lucia, Nejati S, Briand LC (2017) Improving fault localization for Simulink models using search-based testing and prediction models. In: Proceedings of the 24th international conference on software analysis, evolution and reengineering (SANER\u201917). IEEE, pp 359\u2013370","DOI":"10.1109\/SANER.2017.7884636"},{"key":"9611_CR43","doi-asserted-by":"crossref","unstructured":"Lucia, Lo D, Xia X (2014) Fusion fault localizers. In: Proceedings of the 29th international conference on automated software engineering (ASE\u201914). ACM, pp 127\u2013138","DOI":"10.1145\/2642937.2642983"},{"key":"9611_CR44","unstructured":"Luke S (2009) Essentials of metaheuristics, vol 113. Lulu, Raleigh"},{"key":"9611_CR45","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.jss.2013.08.031","volume":"89","author":"X Mao","year":"2014","unstructured":"Mao X, Lei Y, Dai Z, Qi Y, Wang C (2014) Slice-based statistical fault localization. J Syst Softw 89:51\u201362","journal-title":"J Syst Softw"},{"issue":"1","key":"9611_CR46","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/2559932","volume":"23","author":"W Masri","year":"2014","unstructured":"Masri W, Assi RA (2014) Prevalence of coincidental correctness and mitigation of its impact on fault localization. ACM Trans Softw Eng Methodol (TOSEM) 23 (1):8:1\u20138:28","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"9611_CR47","unstructured":"Mathur AP (2006) Foundations of software testing. Copymat Services"},{"key":"9611_CR48","unstructured":"MathWorks (2017) Simulink. http:\/\/www.mathworks.nl\/products\/simulink\/"},{"key":"9611_CR49","unstructured":"MathWorks (2017) StateFlow. http:\/\/www.mathworks.nl\/products\/stateflow\/"},{"key":"9611_CR50","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1016\/j.infsof.2014.05.007","volume":"57","author":"R Matinnejad","year":"2015","unstructured":"Matinnejad R, Nejati S, Briand L, Bruckmann T, Poull C (2015a) Search-based automated testing of continuous controllers: framework, tool support, and case studies. Inf Softw Technol J 57:705\u2013722","journal-title":"Inf Softw Technol J"},{"key":"9611_CR51","doi-asserted-by":"crossref","unstructured":"Matinnejad R, Nejati S, Briand L, Bruckmann T (2015b) Effective test suites for mixed discrete-continuous StateFlow controllers. In: Proceedings of the 10th joint meeting on foundations of software engineering (ESEC\/FSE\u201915). ACM, pp 84\u201395","DOI":"10.1145\/2786805.2786818"},{"key":"9611_CR52","doi-asserted-by":"crossref","unstructured":"Matinnejad R, Nejati S, Briand L, Bruckmann T (2016) Automated test suite generation for time-continuous Simulink models. In: Proceedings of the 38th international conference on software engineering (ICSE\u201916). ACM, pp 595\u2013606","DOI":"10.1145\/2884781.2884797"},{"issue":"2","key":"9611_CR53","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/stvr.1489","volume":"24","author":"S Mohalik","year":"2014","unstructured":"Mohalik S, Gadkari AA, Yeolekar A, Shashidhar K, Ramesh S (2014) Automatic test case generation from Simulink\/StateFlow models using model checking. Softw Test Verif Reliab J 24(2):155\u2013180","journal-title":"Softw Test Verif Reliab J"},{"key":"9611_CR54","unstructured":"Pantelic V, Postma SM, Lawford M, Korobkine A, Mackenzie B, Ong J, Bender M (2015) A toolset for Simulink - improving software engineering practices in development with Simulink. In: Proceedings of the 3rd international conference on model-driven engineering and software development (MODELS\u201915). SciTePress, pp 50\u201361"},{"key":"9611_CR55","doi-asserted-by":"crossref","unstructured":"Parnin C, Orso A (2011) Are automated debugging techniques actually helping programmers?. In: Proceedings of the 20th international symposium on software testing and analysis (ISSTA\u201911). ACM, pp 199\u2013209","DOI":"10.1145\/2001420.2001445"},{"key":"9611_CR56","doi-asserted-by":"crossref","unstructured":"Pasareanu CS, Schumann J, Mehlitz P, Lowry M, Karsai G, Nine H, Neema S (2009) Model based analysis and test generation for flight software. In: Proceedings of the 3rd international conference on space mission challenges for information technology. IEEE, pp 83\u201390","DOI":"10.1109\/SMC-IT.2009.18"},{"key":"9611_CR57","doi-asserted-by":"crossref","unstructured":"Perez A, Abreu R, van Deursen A (2017) A test-suite diagnosability metric for spectrum-based fault localization approaches. In: Proceedings of the 39th international conference on software engineering (ICSE\u201917). IEEE, pp 654\u2013664","DOI":"10.1109\/ICSE.2017.66"},{"key":"9611_CR58","doi-asserted-by":"crossref","unstructured":"Rapos EJ, Cordy JR (2016) Examining the co-evolution relationship between Simulink models and their test cases. In: Proceedings of the 8th international workshop on modeling in software engineering. ACM, pp 34\u201340","DOI":"10.1145\/2896982.2896983"},{"key":"9611_CR59","doi-asserted-by":"crossref","unstructured":"Reicherdt R, Glesner S (2012) Slicing MATLAB Simulink models. In: Proceedings of the 34th international conference on software engineering (ICSE\u201912), pp 551\u2013561","DOI":"10.1109\/ICSE.2012.6227161"},{"key":"9611_CR60","doi-asserted-by":"crossref","unstructured":"Renieris M, Reiss SP (2003) Fault localization with nearest neighbor queries. In: Proceedings of the 18th international conference on automated software engineering (ASE\u201903). IEEE, pp 30\u201339","DOI":"10.1109\/ASE.2003.1240292"},{"key":"9611_CR61","unstructured":"R\u00f6szler J, Fraser G, Zeller A, Orso A (2012) Isolating failure causes through test case generation. In: Proceedings of the 21st international symposium on software testing and analysis (ISSTA\u201912). ACM, pp 309\u2013319"},{"key":"9611_CR62","doi-asserted-by":"crossref","unstructured":"Santelices R, Jones JA, Yu Y, Harrold MJ (2009) Lightweight fault-localization using multiple coverage types. In: Proceedings of the 31st international conference on software engineering (ICSE\u201909). IEEE, pp 56\u201366","DOI":"10.1109\/ICSE.2009.5070508"},{"issue":"7","key":"9611_CR63","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1002\/stvr.444","volume":"22","author":"M Satpathy","year":"2012","unstructured":"Satpathy M, Yeolekar A, Peranandam P, Ramesh S (2012) Efficient coverage of parallel and hierarchical StateFlow models for test case generation. Softw Test Verif Reliab J 22(7):457\u2013479","journal-title":"Softw Test Verif Reliab J"},{"key":"9611_CR64","doi-asserted-by":"crossref","unstructured":"Schneider J (2014) Tracking down root causes of defects in Simulink models. In: Proceedings of the 29th international conference on automated software engineering (ASE\u201914). ACM, pp 599\u2013604","DOI":"10.1145\/2642937.2642943"},{"issue":"1","key":"9611_CR65","doi-asserted-by":"publisher","first-page":"72","DOI":"10.2307\/1412159","volume":"15","author":"C Spearman","year":"1904","unstructured":"Spearman C (1904) The proof and measurement of association between two things. Am J Psychol 15(1):72\u2013101","journal-title":"Am J Psychol"},{"key":"9611_CR66","doi-asserted-by":"crossref","unstructured":"Sridhar A, Srinivasulu D (2014) Slicing MATLAB Simulink\/StateFlow models. In: Intelligent computing, networking, and informatics. Springer, pp 737\u2013743","DOI":"10.1007\/978-81-322-1665-0_74"},{"key":"9611_CR67","doi-asserted-by":"crossref","unstructured":"Thums A, Quante J (2012) Reengineering embedded automotive software. In: Proceedings of the 28th international conference on software maintenance (ICSM\u201912). IEEE, pp 493\u2013502","DOI":"10.1109\/ICSM.2012.6405312"},{"issue":"2","key":"9611_CR68","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha A, Delaney HD (2000) A critique and improvement of the CL common language effect size statistics of McGraw and Wong. J Educ Behav Stat 25(2):101\u2013132","journal-title":"J Educ Behav Stat"},{"key":"9611_CR69","doi-asserted-by":"crossref","unstructured":"Varrette S, Bouvry P, Cartiaux H, Georgatos F (2014) Management of an academic HPC cluster: the UL experience. In: Proceedings of the international conference on high performance computing & simulation. IEEE, pp 959\u2013967","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"9611_CR70","doi-asserted-by":"crossref","unstructured":"Wang X, Cheung SC, Chan WK, Zhang Z (2009) Taming coincidental correctness: coverage refinement with context patterns to improve fault localization. In: Proceedings of the 31st international conference on software engineering (ICSE\u201909). IEEE Computer Society, pp 45\u201355","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"9611_CR71","doi-asserted-by":"crossref","unstructured":"Windisch A (2009) Search-based testing of complex Simulink models containing StateFlow diagrams. In: Proceeding of the 31st international conference on software engineering-companion. IEEE, pp 395\u2013398","DOI":"10.1109\/ICSE-COMPANION.2009.5071030"},{"key":"9611_CR72","doi-asserted-by":"crossref","unstructured":"Windisch A (2010) Search-based test data generation from StateFlow StateCharts. In: Proceedings of the 12th annual conference on genetic and evolutionary computation. ACM, pp 1349\u20131356","DOI":"10.1145\/1830483.1830732"},{"key":"9611_CR73","doi-asserted-by":"crossref","unstructured":"Wong E, Wei T, Qi Y, Zhao L (2008) A crosstab-based statistical method for effective fault localization. In: Proceedings of the 1st international conference on software testing, verification, and validation (ICST\u201908). IEEE, pp 42\u201351","DOI":"10.1109\/ICST.2008.65"},{"issue":"1","key":"9611_CR74","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/TR.2013.2285319","volume":"63","author":"E Wong","year":"2014","unstructured":"Wong E, Debroy V, Gao R, Li Y (2014) The DStar method for effective software fault localization. IEEE Trans Reliab 63(1):290\u2013308","journal-title":"IEEE Trans Reliab"},{"issue":"1","key":"9611_CR75","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10515-014-0165-z","volume":"23","author":"X Xia","year":"2016","unstructured":"Xia X, Gong L, Le TDB, Lo D, Jiang L, Zhang H (2016) Diversity maximization speedup for localizing faults in single-fault and multi-fault programs. Autom Softw Eng J 23(1):43\u201375","journal-title":"Autom Softw Eng J"},{"key":"9611_CR76","doi-asserted-by":"crossref","unstructured":"Yin YF, Zhou YB, Wang YR (2014) Research and improvements on mutation operators for Simulink models. In: Applied mechanics and materials, vol 687. Trans Tech Publ, pp 1389\u20131393","DOI":"10.4028\/www.scientific.net\/AMM.687-691.1389"},{"key":"9611_CR77","unstructured":"Zander J, Schieferdecker I, Mosterman PJ (2011) Model-based testing for embedded systems. CRC Press, Boca Raton"},{"key":"9611_CR78","doi-asserted-by":"crossref","unstructured":"Zhan Y, Clark J (2004) Search based automatic test-data generation at an architectural level. In: Proceedings of the 6th genetic and evolutionary computation conference. Springer, pp 1413\u20131424","DOI":"10.1007\/978-3-540-24855-2_161"},{"key":"9611_CR79","doi-asserted-by":"crossref","unstructured":"Zhan Y, Clark JA (2005) Search-based mutation testing for Simulink models. In: Proceedings of the 7th genetic and evolutionary computation conference. ACM, pp 1061\u20131068","DOI":"10.1145\/1068009.1068188"},{"issue":"2","key":"9611_CR80","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1016\/j.jss.2007.05.039","volume":"81","author":"Y Zhan","year":"2008","unstructured":"Zhan Y, Clark JA (2008) A search-based framework for automatic testing of Matlab\/Simulink models. J Syst Softw 81(2):262\u2013285","journal-title":"J Syst Softw"},{"key":"9611_CR81","doi-asserted-by":"publisher","first-page":"2614","DOI":"10.1109\/JSYST.2015.2496293","volume":"11","author":"X Zheng","year":"2017","unstructured":"Zheng X, Julien C, Kim M, Khurshid S (2017) Perceptions on the state of the art in verification and validation in cyber-physical systems. IEEE Syst J 11:2614\u20132627","journal-title":"IEEE Syst J"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-018-9611-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9611-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9611-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T06:00:53Z","timestamp":1570946453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-018-9611-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,21]]},"references-count":81,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9611"],"URL":"https:\/\/doi.org\/10.1007\/s10664-018-9611-z","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,21]]},"assertion":[{"value":"21 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}