Coverage-Based Fault Localization in Haskell
Guardado en:
| 發表在: | Journal of Computer Science and Technology vol. 40, no. 1 (Jan 2025), p. 158 |
|---|---|
| 出版: |
Springer Nature B.V.
|
| 主題: | |
| 在線閱讀: | Citation/Abstract Full Text - PDF |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3176454226 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 1000-9000 | ||
| 022 | |a 1860-4749 | ||
| 024 | 7 | |a 10.1007/s11390-024-2967-1 |2 doi | |
| 035 | |a 3176454226 | ||
| 045 | 2 | |b d20250101 |b d20250131 | |
| 084 | |a 137755 |2 nlm | ||
| 245 | 1 | |a Coverage-Based Fault Localization in Haskell | |
| 260 | |b Springer Nature B.V. |c Jan 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a 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. | |
| 653 | |a Knowledge management | ||
| 653 | |a Datasets | ||
| 653 | |a Learning | ||
| 653 | |a Localization | ||
| 653 | |a Functional programming | ||
| 653 | |a Fault location | ||
| 653 | |a Imperative programming | ||
| 653 | |a Programming languages | ||
| 773 | 0 | |t Journal of Computer Science and Technology |g vol. 40, no. 1 (Jan 2025), p. 158 | |
| 786 | 0 | |d ProQuest |t ABI/INFORM Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3176454226/abstract/embedded/H09TXR3UUZB2ISDL?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3176454226/fulltextPDF/embedded/H09TXR3UUZB2ISDL?source=fedsrch |