LEADER 03899nam  22005535  450 
001 9910482958703321
005 20230810232040.0
010   $a981-336-179-4
024 7 $a10.1007/978-981-33-6179-9
035   $a(CKB)4100000011746970
035   $a(DE-He213)978-981-33-6179-9
035   $a(MiAaPQ)EBC6469894
035   $a(PPN)25385752X
035   $a(EXLCZ)994100000011746970
100   $a20210204d2021      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEssential Spectrum-based Fault Localization /$fby Xiaoyuan Xie, Baowen Xu
205   $a1st ed. 2021.
210  1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2021.
215   $a1 online resource (XII, 172 p. 17 illus.) 
311   $a981-336-178-6 
327   $aChapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion.
330   $aProgram debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it?s not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren?t always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories ? which could also be very helpful to ensuring the healthy development of the field.
606   $aComputer programs$xTesting
606   $aSoftware engineering$xManagement
606   $aComputer programming
606   $aSoftware Testing
606   $aSoftware Management
606   $aProgramming Techniques
615  0$aComputer programs$xTesting.
615  0$aSoftware engineering$xManagement.
615  0$aComputer programming.
615 14$aSoftware Testing.
615 24$aSoftware Management.
615 24$aProgramming Techniques.
676   $a005.14
700   $aXie$b Xiaoyuan$01216977
702   $aXu$b Baowen
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910482958703321
996   $aEssential spectrum-based fault localization$92814027
997   $aUNINA