Content area

Abstract

Fault localization is to identify faulty program elements. Among a large number of fault localization approaches in the literature, coverage-based fault localization, especially spectrum-based fault localization (SBFL), has been intensively studied due to its effectiveness and lightweightness. Despite the rich literature, almost all existing fault localization approaches and studies have been conducted on imperative programming languages such as Java and C, leaving a gap in other programming paradigms. In this paper, we aim to study fault localization approaches for the functional programming paradigm, using the Haskell language as a representative. To the best of our knowledge, we build up the first dataset on real Haskell projects, including both real and seeded faults. The dataset enables the research of fault localization for functional languages. With it, we explore fault localization techniques for Haskell. In particular, as is typical for SBFL approaches, we study methods for coverage collection and formulae for suspiciousness score computation, and carefully adapt these two components to Haskell considering the language features and characteristics, resulting in a series of adaption approaches. Moreover, we design a learning-based approach and a transfer learning based approach to take advantage of data from imperative languages. Both approaches are evaluated on our dataset to demonstrate the promises of the direction.

Details

10000008
Title
Coverage-Based Fault Localization in Haskell
Volume
40
Issue
1
Pages
158-177
Publication year
2025
Publication date
Jan 2025
Publisher
Springer Nature B.V.
Place of publication
Beijing
Country of publication
Netherlands
ISSN
10009000
e-ISSN
18604749
Source type
Scholarly Journal
Language of publication
English
Document type
Journal Article
Publication history
 
 
Online publication date
2025-03-12
Milestone dates
2024-03-11 (Registration); 2022-11-14 (Received); 2024-12-04 (Accepted)
Publication history
 
 
   First posting date
12 Mar 2025
ProQuest document ID
3176454226
Document URL
https://www.proquest.com/scholarly-journals/coverage-based-fault-localization-haskell/docview/3176454226/se-2?accountid=208611
Copyright
Copyright Springer Nature B.V. Jan 2025
Last updated
2025-03-13
Database
ProQuest One Academic