Essential Spectrum-based Fault Localization - Image 1

£74.20

Springer Essential Spectrum-based Fault Localization

Name: Essential Spectrum-based Fault Localization
Brand: Springer
Price: 75.73 GBP
Availability: InStock

Project Management

Price History & Forecast

Last 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £74 (58 days, 73.4%)

Price range: £74 - £76

Price levels: 2 different prices over 79 days

Description

Program 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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9813361816
Category: Books > Subjects > Business, Finance & Law > Management > Project Management
Domain: Amazon UK
Release Date: 05 February 2022
Listed Since: 10 January 2022

Barcode

No barcode data available

Springer Essential Spectrum-based Fault Localization

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

Advancing Software Engineering Through AI, Federated Learning, and Large Language Models

Automated Software Engineering: A Deep Learning-Based Approach: 8 (Learning and Analytics in Intelligent Systems, 8)

Automated Software Engineering: A Deep Learning-Based Approach: 8 (Learning and Analytics in Intelligent Systems, 8)

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Relating Software Requirements and Architectures

Software Quality Assurance: Integrating Testing, Security, and Audit (Security, Audit and Leadership Series)

Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)

Advanced and Intelligent Computations in Diagnosis and Control: 386 (Advances in Intelligent Systems and Computing, 386)

Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Systems and Software Variability Management: Concepts, Tools and Experiences

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Software Reliability Assessment with OR Applications (Springer Series in Reliability Engineering)

A Guide to Selecting Software Measures and Metrics

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications (Expert Guide)

Software Patterns, Knowledge Maps, and Domain Analysis

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Modeling Companion for Software Practitioners

Rethinking Productivity in Software Engineering

The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)