← Back to projects

Spectrum-Based Fault Localization (SBFL)

Java Maven plugin automating fault detection using Tarantula and Ochiai formulas with PITest mutation testing.

JavaMavenPITestJUnitSBFL

Overview

Graduate Research Assistant project at Kennesaw State University (Aug – Dec 2025). I designed and implemented a Maven plugin that combines PITest mutation testing with spectrum-based fault localization — Tarantula and Ochiai algorithms — to rank suspicious code locations and automate fault detection across multi-module Java codebases.

Key Features

  • SBFL algorithms — Tarantula and Ochiai formulas for ranking suspicious code locations
  • Maven plugin — Integrates PITest mutation testing with SBFL for multi-module Java projects
  • CSV reports — Ranked fault reports estimated to cut debugging time by ~40%