{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:16Z","timestamp":1725563056040},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155840"},{"type":"electronic","value":"9783642155857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15585-7_9","type":"book-chapter","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T21:58:59Z","timestamp":1282687139000},"page":"88-103","source":"Crossref","is-referenced-by-count":9,"title":["Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?"],"prefix":"10.1007","author":[{"given":"Mihai","family":"Nica","sequence":"first","affiliation":[]},{"given":"Simona","family":"Nica","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis","author":"F. Wotawa","year":"2010","unstructured":"Wotawa, F., Nica, M., Aichernig, B.K.: Generating distinguishing tests using the minion constraint solver. In: CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis. IEEE, Los Alamitos (2010)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T.V., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 512\u2013521 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"9_CR3","volume-title":"Third International Conference on Software Testing, Verification and Validation (ICST 2010)","author":"V. Debroy","year":"2010","unstructured":"Debroy, V., Wong, W.E.: Using mutation to automatically suggest fixes for faulty programs. In: Third International Conference on Software Testing, Verification and Validation (ICST 2010). IEEE, Los Alamitos (2010)"},{"issue":"3","key":"9_CR4","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDT.2006.5","volume":"23","author":"F. Wotawa","year":"2006","unstructured":"Wotawa, F., Peischl, B.: Automated source level error localization in hardware designs. IEEE Design and Test of Computers\u00a023(1), 8\u201319 (2006)","journal-title":"IEEE Design and Test of Computers"},{"key":"9_CR6","unstructured":"Mayer, W., Abreu, R., Stumptner, M., van Gemund, A.J.: Prioritising model-based debugging diagnostic reports. In: Proceedings of the International Workshop on Principles of Diagnosis (DX) (2009)"},{"key":"9_CR7","first-page":"89","volume-title":"Proceedings TAIC PART 2007","author":"R. Abreu","year":"2006","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.: On the accuracy of spectrum-based fault localization. In: Proceedings TAIC PART 2007, pp. 89\u201398. IEEE, Los Alamitos (2006)"},{"key":"9_CR8","unstructured":"Mayer, W.: Static and hybrid analysis in model-based debugging. PhD Thesis, School of Computer and Information Science, University of South Australia (2007)"},{"key":"9_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11881216_22","volume-title":"Current Topics in Artificial Intelligence","author":"R. Ceballos","year":"2006","unstructured":"Ceballos, R., Gasca, R.M., Valle, C.D., Borrego, D.: Diagnosing errors in dbc programs using constraint programming. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol.\u00a04177, pp. 200\u2013210. Springer, Heidelberg (2006)"},{"key":"9_CR10","unstructured":"Nica, M., Weber, J., Wotawa, F.: How to debug sequential code by means of constraint representation. In: 19th International Workshop on Principles of Diagnosis (DX 2008) (2008)"},{"key":"9_CR11","first-page":"359","volume":"32","author":"F. Wotawa","year":"2008","unstructured":"Wotawa, F., Nica, M.: On the compilation of programs into their equivalent constraint representation. Informatika\u00a032, 359\u2013371 (2008)","journal-title":"Informatika"},{"key":"9_CR12","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable, constraint solver. In: 17th European Conference on Artificial Intelligence, ECAI 2006 (2006)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y.S. Ma","year":"2005","unstructured":"Ma, Y.S., Offutt, J., Kwon, Y.R.: Mujava: An automated class mutation system. Software Testing, Verification and Reliability\u00a015, 97\u2013133 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/227607.227610","volume":"5","author":"A.J. Offutt","year":"1996","unstructured":"Offutt, A.J., Lee, A., Rothermel, G., Untch, R., Zapf, C.: An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering Methodology\u00a05, 99\u2013118 (1996)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"9_CR16","unstructured":"Mayer, W., Stumptner, M.: Model-based debugging using multiple abstract models. In: Proceedings of the 5th International Workshop on Automated and Algorithmic Debugging, AADEBUG 2003, pp. 55\u201370 (2003)"},{"key":"9_CR17","unstructured":"Ceballos, R., Nica, M., Weber, J., Wotawa, F.: On the complexity of program debugging using constraints for modeling the program\u2019s syntax and semantics. In: Proc. Conference of the Spanish Association for Artificial Intelligence (CAEPIA), Seville, Spain (2009)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering\u00a028(2) (2002)","DOI":"10.1109\/32.988498"},{"key":"9_CR19","first-page":"273","volume-title":"Proceedings ASE 2005","author":"J.A. Jones","year":"2005","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings ASE 2005, pp. 273\u2013282. ACM Press, New York (2005)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.: Spectrum-based multiple fault localization. In: Proc. IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 88\u201399 (2009)","DOI":"10.1109\/ASE.2009.25"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014823126938","volume":"7","author":"S. Kusumoto","year":"2002","unstructured":"Kusumoto, S., Nishimatsu, A., Nishie, K., Inoue, K.: Experimental evaluation of program slicing for fault localization. Empirical Software Engineering\u00a07, 49\u201376 (2002)","journal-title":"Empirical Software Engineering"},{"key":"9_CR22","first-page":"106","volume-title":"Advances in Software Engineering \u2013 Advances in Computers","author":"D. Binkley","year":"2004","unstructured":"Binkley, D., Harman, M.: A survey of empirical results on program slicing. In: Zelkowitz, M. (ed.) Advances in Software Engineering \u2013 Advances in Computers, vol.\u00a062, pp. 106\u2013172. Academic Press Inc., London (2004), \n                    \n                      citeseer.ist.psu.edu\/661032.html"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices for fault localization. In: Sixth International Symposium on Automated & Analysis-Driven Debugging (AADEBUG), pp. 33\u201342 (2005)","DOI":"10.1145\/1085130.1085135"},{"key":"9_CR24","unstructured":"Wotawa, F.: Bridging the gap between slicing and model-based diagnosis. In: Proc. of the 20th Intl. Conference on Software Engineering and Knowledge Engineering (SEKE), Knowledge Systems Institute Graduate School, pp. 836\u2013841 (2008)"}],"container-title":["Lecture Notes in Computer Science","Testing \u2013 Practice and Research Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15585-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:10:31Z","timestamp":1606169431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15585-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}