{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T19:02:32Z","timestamp":1771009352702,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642417061","type":"print"},{"value":"9783642417078","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41707-8_16","type":"book-chapter","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T10:56:38Z","timestamp":1383130598000},"page":"239-254","source":"Crossref","is-referenced-by-count":12,"title":["Spectrum-Based Fault Localization for Diagnosing Concurrency Faults"],"prefix":"10.1007","author":[{"given":"Feyzullah","family":"Koca","sequence":"first","affiliation":[]},{"given":"Hasan","family":"S\u00f6zer","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"publisher","first-page":"1780","DOI":"10.1016\/j.jss.2009.06.035","volume":"82","author":"R. Abreu","year":"2009","unstructured":"Abreu, R., Zoeteweij, P., Golsteijn, R., van Gemund, A.: A practical evaluation of spectrum-based fault localization. Journal of Systems and Software\u00a082(11), 1780\u20131792 (2009)","journal-title":"Journal of Systems and Software"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Abreu, R.: Spectrum-based Fault Localization in Embedded Software. Ph.D. thesis, Delft University of Technology (2009)","DOI":"10.1109\/ASE.2009.25"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Proceedings of Testing: Academic and Industrial Conference Practice and Research Techniques, Windsor, UK, pp. 89\u201398 (2007)","DOI":"10.1109\/TAICPART.2007.4344104"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/1735971.1736040","volume":"45","author":"S. Burckhardt","year":"2010","unstructured":"Burckhardt, S., Kothari, P., Musuvathi, M., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. ACM SIGPLAN Notices\u00a045(3), 167\u2013178 (2010)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR5","unstructured":"Dobbelsteen, J., Golsteijn, R., van de Laar, P.: An infrastructure for traceability to increase insight in complex embedded systems. Tech. Rep. PR-TN 2006\/00506, Philips Electronics (2006)"},{"issue":"5","key":"16_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/358438.349328","volume":"35","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for java. ACM SIGPLAN Notices\u00a035(5), 219\u2013232 (2000)","journal-title":"ACM SIGPLAN Notices"},{"issue":"5","key":"16_CR7","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/780822.781169","volume":"38","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. ACM SIGPLAN Notices\u00a038(5), 338\u2013349 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Harrold, M., Rothermel, G., Wu, R., Yi, L.: An empirical investigation of program spectra. ACM SIGPLAN Notices\u00a033(7) (1998)","DOI":"10.1145\/277633.277647"},{"issue":"10","key":"16_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/1932682.1869481","volume":"45","author":"G. Jin","year":"2010","unstructured":"Jin, G., Thakur, A., Liblit, B., Lu, S.: Instrumentation and sampling strategies for cooperative concurrency bug isolation. ACM SIGPLAN Notices\u00a045(10), 241\u2013255 (2010)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the International Conference on Automated Software Engineering, Long Beach, California, USA, pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A., Jordan, M.I.: Scalable statistical bug isolation. In: Proceedings of the Conference on Programming Language Design and Implementation, Chicago, Illinois, USA, pp. 15\u201326 (2005)","DOI":"10.1145\/1064978.1065014"},{"issue":"6","key":"16_CR12","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/2345156.1993543","volume":"47","author":"B. Lucia","year":"2011","unstructured":"Lucia, B., Wood, B., Ceze, L.: Isolating and understanding concurrency errors using reconstructed execution fragments. ACM SIGPLAN Notices\u00a047(6), 378\u2013388 (2011)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Lucia, B., Ceze, L.: Finding concurrency bugs with context-aware communication graphs. In: Proceedings of the International Symposium on Microarchitecture, New York, NY, USA, pp. 553\u2013563 (2009)","DOI":"10.1145\/1669112.1669181"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Evaluating models for model-based debugging. In: Proceedings of the International Conference on Automated Software Engineering, L\u2019Aquila, Italy, pp. 128\u2013137 (2008)","DOI":"10.1109\/ASE.2008.23"},{"key":"16_CR15","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the USENIX Conference on Operating Systems Design and Implementation, pp. 267\u2013280 (2008)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Proceedings of the Conference on Programming Language Design and Implementation, New York, NY, USA, pp. 446\u2013455 (2007)","DOI":"10.1145\/1273442.1250785"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A.: Conditional must not aliasing for static race detection. In: Proceedings of the Symposium on Principles of Programming Languages, New York, NY, USA, pp. 327\u2013338 (2007)","DOI":"10.1145\/1190215.1190265"},{"issue":"3","key":"16_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1508284.1508249","volume":"44","author":"S. Park","year":"2009","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. ACM SIGPLAN Notices\u00a044(3), 25\u201336 (2009)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R., Harrold, M.: Falcon: fault localization in concurrent programs. In: Proceedings of the International Conference on Software Engineering, pp. 245\u2013254 (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Park, S., Harrold, M.J., Vuduc, R.: Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis. ACM (2013)","DOI":"10.1145\/2483760.2483792"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R., Harrold, M.J.: A unified approach for localizing non-deadlock concurrency bugs. In: International Conference on Software Testing, Verification and Validation, Montreal, QC, pp. 51\u201360 (2012)","DOI":"10.1109\/ICST.2012.85"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Pugh, W., Ayewah, N.: Unit testing concurrent software. In: Proceedings of the International Conference on Automated Software Engineering, pp. 513\u2013516 (2007)","DOI":"10.1145\/1321631.1321722"},{"issue":"2","key":"16_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., De Bosschere, K.: Recplay: a fully integrated practical record\/replay system. ACM Transactions on Computer Systems\u00a017(2), 133\u2013152 (1999)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"16_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"10","key":"16_CR25","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/1932682.1869474","volume":"45","author":"Y. Shi","year":"2010","unstructured":"Shi, Y., Park, S., Yin, Z., Lu, S., Zhou, Y., Chen, W., Zheng, W.: Do I use the wrong definition?: Defuse: definition-use invariants for detecting concurrency and sequential bugs. ACM SIGPLAN Notices\u00a045(10), 160\u2013174 (2010)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Vazirani, V.: Approximation Algorithms. Springer (2003)","DOI":"10.1007\/978-3-662-04565-7"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41707-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T02:12:03Z","timestamp":1558663923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41707-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642417061","9783642417078"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41707-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}