CFLASH: Automatic Fault Localization in Concurrent Programs using Noising and Search Strategies

CFLASH: Automatic Fault Localization in Concurrent Programs using Noising and Search Strategies

Project members: Luisa Rojas Garcia,  Jeremy S. Bradbury

Software: …

Description: CFLASH (Concurrency Faults Localized Automatically using Search Heuristics) is an automatic fault localization tool for multithreaded Java programs. It utilizes a combination of noise-based code injection and a heuristic search algorithm to identify potentially faulty code sections containing concurrency bugs.

Media: