{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:03:25Z","timestamp":1725570205052},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148187"},{"type":"electronic","value":"9783642148194"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14819-4_5","type":"book-chapter","created":{"date-parts":[[2010,11,18]],"date-time":"2010-11-18T06:21:39Z","timestamp":1290061299000},"page":"60-74","source":"Crossref","is-referenced-by-count":3,"title":["Using Fault Screeners for Software Error Detection"],"prefix":"10.1007","author":[{"given":"Rui","family":"Abreu","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Gonz\u00e1lez","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Zoeteweij","sequence":"additional","affiliation":[]},{"given":"Arjan J. C.","family":"van Gemund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Proc. SAC 2008","author":"R. Abreu","year":"2008","unstructured":"Abreu, R., Gonz\u00e1lez, A., Zoeteweij, P., van Gemund, A.J.C.: Automatic software fault localization using generic program invariants. In: Proc. SAC 2008. ACM Press, New York (2008)"},{"key":"5_CR2","volume-title":"Proc. PRDC 2006","author":"R. Abreu","year":"2006","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: An evaluation of similarity coefficients for software fault localization. In: Proc. PRDC 2006. IEEE CS, Los Alamitos (2006)"},{"key":"5_CR3","volume-title":"Proc. TAIC PART 2007","author":"R. Abreu","year":"2007","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Proc. TAIC PART 2007. IEEE CS, Los Alamitos (2007)"},{"issue":"7","key":"5_CR4","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/362686.362692","volume":"13","author":"B. Bloom","year":"1970","unstructured":"Bloom, B.: Space\/time trade-offs in hash coding with allowable errors. Commun. ACM\u00a013(7), 422\u2013426 (1970)","journal-title":"Commun. ACM"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Proc. ICSE 2005. IEEE CS, Los Alamitos (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/11531142_23","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"V. Dallmeier","year":"2005","unstructured":"Dallmeier, V., Lindig, C., Zeller, A.: Lightweight defect localization for Java. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 528\u2013550. Springer, Heidelberg (2005)"},{"key":"5_CR7","volume-title":"Order Statistics","author":"H.A. David","year":"1970","unstructured":"David, H.A.: Order Statistics. John Wiley & Sons, Chichester (1970)"},{"key":"5_CR8","volume-title":"Proc. ICSE 1999","author":"M. Ernst","year":"1999","unstructured":"Ernst, M., Cockrell, J., Griswold, W., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: Proc. ICSE 1999. IEEE CS, Los Alamitos (1999)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ernst, M., Perkins, J., Guo, P., McCamant, S., Pacheco, C., Tschantz, M., Xiao, C.: The Daikon system for dynamic detection of likely invariants. In: Science of Computer Programming (2007)","DOI":"10.1016\/j.scico.2007.01.015"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TPDS.2006.13","volume":"17","author":"H. Gautama","year":"2006","unstructured":"Gautama, H., van Gemund, A.: Low-cost static performance prediction of parallel stochastic task compositions. IEEE Trans. Parallel Distrib. Syst.\u00a017(1), 78\u201391 (2006)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"5_CR11","unstructured":"Gonz\u00e1lez, A.: Automatic error detection techniques based on dynamic invariants. Master\u2019s thesis, Delft University of Technology and Universidad de Valladolid, Delft (2007)"},{"key":"5_CR12","volume-title":"Contributions to Order Statistics","author":"E. Gumbel","year":"1962","unstructured":"Gumbel, E.: Statistical theory of extreme values (main results). In: Sarhan, A., Greenberg, B. (eds.) Contributions to Order Statistics. John Wiley & Sons, Chichester (1962)"},{"key":"5_CR13","volume-title":"Proc. DAC 2005","author":"S. Hangal","year":"2005","unstructured":"Hangal, S., Chandra, N., Narayanan, S., Chakravorty, S.: IODINE: A tool to automatically infer dynamic invariants for hardware designs. In: Proc. DAC 2005. ACM Press, New York (2005)"},{"key":"5_CR14","volume-title":"Proc. ICSE 2002","author":"S. Hangal","year":"2002","unstructured":"Hangal, S., Lam, M.: Tracking down software bugs using automatic anomaly detection. In: Proc. ICSE 2002. IEEE CS, Los Alamitos (2002)"},{"key":"5_CR15","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"},{"key":"5_CR16","volume-title":"Proc. ICSE 1994","author":"M. Hutchins","year":"1994","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: Proc. ICSE 1994. IEEE CS, Los Alamitos (1994)"},{"key":"5_CR17","volume-title":"Algorithms for clustering data","author":"A.K. Jain","year":"1988","unstructured":"Jain, A., Dubes, R.: Algorithms for clustering data. Prentice-Hall, Inc., Englewood Cliffs (1988)"},{"key":"5_CR18","volume-title":"Proc. ASE 2005","author":"J. Jones","year":"2005","unstructured":"Jones, J., Harrold, M.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proc. ASE 2005. ACM Press, New York (2005)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer\u00a036 (2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"5_CR20","volume-title":"Proc. CGO 2004","author":"C. Lattner","year":"2004","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proc. CGO 2004. ACM Press, New York (2004)"},{"issue":"10","key":"5_CR21","first-page":"831","volume":"32","author":"C. Liu","year":"2006","unstructured":"Liu, C., Fei, L., Yan, X., Han, J., Midkiff, S.: Statistical debugging: A hypothesis testing-based approach. IEEE TSE\u00a032(10), 831\u2013848 (2006)","journal-title":"IEEE TSE"},{"key":"5_CR22","volume-title":"ICSE 2008","author":"D. Lorenzoli","year":"2008","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: ICSE 2008. ACM Press, New York (2008)"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MC.2007.37","volume":"40","author":"T. Menzies","year":"2007","unstructured":"Menzies, T., Owen, D., Richardson, J.: The strangest thing about software. Computer\u00a040(1), 54\u201360 (2007)","journal-title":"Computer"},{"key":"5_CR24","volume-title":"Proc. PRDC 2005","author":"K. Pattabiraman","year":"2005","unstructured":"Pattabiraman, K., Kalbarczyk, Z., Iyer, R.K.: Application-based metrics for strategic placement of detectors. In: Proc. PRDC 2005. IEEE CS, Los Alamitos (2005)"},{"key":"5_CR25","unstructured":"Patterson, D., Brown, A., Broadwell, P., Candea, G., Chen, M., Cutler, J., Enriquez, P., Fox, A., Kiciman, E., Merzbacher, M., Oppenheimer, D., Sastry, N., Tetzlaff, W., Traupman, J., Treuhaft, N.: Recovery Oriented Computing (ROC): Motivation, definition, techniques, and case studies. Technical Report UCB\/CSD-02-1175, U.C. Berkeley (2002)"},{"key":"5_CR26","volume-title":"Proc. AADEBUG 2003","author":"B. Pytlik","year":"2003","unstructured":"Pytlik, B., Renieris, M., Krishnamurthi, S., Reiss, S.: Automated fault localization using potential invariants. In: Proc. AADEBUG 2003. ACM Press, New York (2003)"},{"key":"5_CR27","volume-title":"Proc. HPCA 2007","author":"P. Racunas","year":"2007","unstructured":"Racunas, P., Constantinides, K., Manne, S., Mukherjee, S.: Perturbation-based fault screening. In: Proc. HPCA 2007. IEEE CS, Los Alamitos (2007)"},{"key":"5_CR28","volume-title":"Proc. ASE 2003","author":"M. Renieris","year":"2003","unstructured":"Renieris, M., Reiss, S.: Fault localization with nearest neighbor queries. In: Proc. ASE 2003, Montreal, Canada. IEEE CS, Los Alamitos (2003)"},{"key":"5_CR29","volume-title":"Proc. ISSRE 2004","author":"J. Yang","year":"2004","unstructured":"Yang, J., Evans, D.: Automatically inferring temporal properties for program evolution. In: Proc. ISSRE 2004. IEEE CS, Los Alamitos (2004)"},{"key":"5_CR30","volume-title":"Proc. AADEBUG 2005","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices for fault location. In: Proc. AADEBUG 2005. ACM Press, New York (2005)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14819-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T06:42:25Z","timestamp":1559803345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14819-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148187","9783642148194"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14819-4_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}