{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:13:23Z","timestamp":1742919203203,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030637989"},{"type":"electronic","value":"9783030637996"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63799-6_20","type":"book-chapter","created":{"date-parts":[[2020,12,8]],"date-time":"2020-12-08T00:56:03Z","timestamp":1607388963000},"page":"259-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Software Fault Localisation via Probabilistic Modelling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9236-6581","authenticated-orcid":false,"given":"Colin G.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,8]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Androutsopoulos, K., Clark, D., Dan, H., Hierons, R., Harman, M.: 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) (2014)","DOI":"10.1145\/2568225.2568314"},{"issue":"5","key":"20_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"E Barr","year":"2015","unstructured":"Barr, E., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Software Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Software Eng."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Bawar, Z.: Using machine learning to refine black-box test specifications and test suites. In: 2008 The Eighth International Conference on Quality Software, pp. 135\u2013144 (2008)","DOI":"10.1109\/QSIC.2008.5"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Liu, X.: Using machine learning to support debugging with Tarantula. In: The 18th IEEE International Symposium on Software Reliability (ISSRE 2007), pp. 137\u2013146 (2007)","DOI":"10.1109\/ISSRE.2007.31"},{"issue":"8\u20139","key":"20_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.ipl.2012.01.004","volume":"112","author":"D Clark","year":"2012","unstructured":"Clark, D., Hierons, R.M.: Squeeziness: an information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8\u20139), 335\u2013340 (2012)","journal-title":"Inf. Process. Lett."},{"key":"20_CR6","doi-asserted-by":"publisher","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Proceedings of the 27th International Conference on Software Engineering, New York, NY, USA, pp. 342\u2013351. Association for Computing Machinery (2005). https:\/\/doi.org\/10.1145\/1062455.1062522","DOI":"10.1145\/1062455.1062522"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. IEEE Comput. 11(4), 34\u201341 (1978)","journal-title":"IEEE Comput."},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques and applications. ACM Comput. Surv. 45(1) (2012). https:\/\/doi.org\/10.1145\/2379776.2379787","DOI":"10.1145\/2379776.2379787"},{"issue":"3","key":"20_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J","volume":"10","author":"MJ Harrold","year":"2000","unstructured":"Harrold, M.J., Rothermel, G., Sayre, K., Wu, R., Yi, L.: An empirical investigation of the relationship between spectra differences and regression faults. Software Test. Verification Reliabil. 10(3), 171\u2013194 (2000). https:\/\/doi.org\/10.1002\/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J","journal-title":"Software Test. Verification Reliabil."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Jones, J., Harrold, M.: Empirical evaluation of the Tarantula automatic fault-localization technique. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Keller, F., Grunske, L., Heiden, S., Filieri, A., van Hoorn, A., Lo, D.: A critical evaluation of spectrum-based fault localization techniques on a large-scale software system. In: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 114\u2013125 (2017)","DOI":"10.1109\/QRS.2017.22"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Krawiec, K., O\u2019Reilly, U.M.: Behavioral programming: a broader and more detailed take on semantic GP. In: Proceeding of the Sixteenth Annual Conference on Genetic and Evolutionary Computation Conference, New York, NY, USA. ACM (2014)","DOI":"10.1145\/2576768.2598288"},{"key":"20_CR13","doi-asserted-by":"publisher","unstructured":"Krawiec, K., Swan, J.: Pattern-guided genetic programming. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, GECCO 2013, New York, NY, USA, pp. 949\u2013956. ACM (2013). https:\/\/doi.org\/10.1145\/2463372.2463496","DOI":"10.1145\/2463372.2463496"},{"key":"20_CR14","series-title":"Genetic and Evolutionary Computation","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-319-34223-8_10","volume-title":"Genetic Programming Theory and Practice XIII","author":"K Krawiec","year":"2016","unstructured":"Krawiec, K., Swan, J., O\u2019Reilly, U.-M.: Behavioral program synthesis: insights and prospects. In: Riolo, R., Worzel, B., Kotanchek, M., Kordon, A. (eds.) Genetic Programming Theory and Practice XIII. GEC, pp. 169\u2013183. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34223-8_10"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Le Goues, C., Dewey-Vogt, M., Forrest, S., Weimer, W.: A systematic study of automated program repair: fixing 55 out of 105 bugs for \\$8 each. In: Glinz, M., Murphy, G.C., Pezz\u00e8, M. (eds.) International Conference on Software Engineering, pp. 3\u201313. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Le Goues","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Software Eng. 38, 54\u201372 (2012)","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"20_CR17","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1016\/S1383-7621(01)00019-4","volume":"47","author":"R Lutz","year":"2001","unstructured":"Lutz, R.: Evolving good hierarchical decompositions of complex systems. J. Syst. Architect. 47(7), 613\u2013634 (2001). https:\/\/doi.org\/10.1016\/S1383-7621(01)00019-4. evolutionary computing","journal-title":"J. Syst. Architect."},{"issue":"2","key":"20_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Software Test. Verification Reliabil. 14(2), 105\u2013156 (2004). https:\/\/doi.org\/10.1002\/stvr.294","journal-title":"Software Test. Verification Reliabil."},{"key":"20_CR19","unstructured":"Poli, R., Langdon, W.B., McPhee, N.F.: A Field Guide to Genetic Programming. Published via http:\/\/lulu.com and freely (2008). http:\/\/www.gp-field-guide.org.uk, (With contributions by J. R. Koza)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Silva, L., Paix\u00e3o, K., de Amo, S., de Almeida Maia, M.: Software evolution aided by execution trace alignment. In: 2010 Brazilian Symposium on Software Engineering, pp. 158\u2013167 (2010)","DOI":"10.1109\/SBES.2010.25"},{"key":"20_CR21","unstructured":"de Souza, H.A., Chaim, M.L., Kon, F.: Spectrum-based software fault localization: a survey of techniques, advances, and challenges (2016)"},{"issue":"8","key":"20_CR22","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Software Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"20_CR23","unstructured":"Wong, W.E., Debroy, V.: A survey of software fault localization, university of Texas at Dallas, Department of Computer Science, Technical report UTDCS-45-09 (2009)"},{"issue":"04","key":"20_CR24","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1142\/S021819400900426X","volume":"19","author":"WE Wong","year":"2009","unstructured":"Wong, W.E., Qi, Y.: BP neural network effective fault localization. Int. J. Software Eng. Knowl. Eng. 19(04), 573\u2013597 (2009). https:\/\/doi.org\/10.1142\/S021819400900426X","journal-title":"Int. J. Software Eng. Knowl. Eng."},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-39742-4_17","volume-title":"Search Based Software Engineering","author":"X Xie","year":"2013","unstructured":"Xie, X., Kuo, F.C., Chen, T.Y., Yoo, S., Harman, M.: Provably optimal and human-competitive results in SBSE for spectrum based fault localisation. In: Ruhe, G., Zhang, Y. (eds.) Search Based Software Engineering. Lecture Notes in Computer Science, vol. 8084, pp. 224\u2013238. Springer, Berlin Heidelberg (2013)"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.jss.2017.08.025","volume":"134","author":"X Yu","year":"2017","unstructured":"Yu, X., Liu, J., Yang, Z., Liu, X.: The Bayesian network based program dependence graph and its application to fault localization. J. Syst. Softw. 134, 44\u201353 (2017). https:\/\/doi.org\/10.1016\/j.jss.2017.08.025","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence XXXVII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63799-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,8]],"date-time":"2020-12-08T01:02:44Z","timestamp":1607389364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63799-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030637989","9783030637996"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63799-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SGAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Innovative Techniques and Applications of Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 December 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"40","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sgai2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/bcs-sgai.org\/ai2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}