CORE: Automatic Bug Repair using Model Checking

CORE: Automatic Bug Repair using Model Checking

Project Members: David Kelk, Jeremy Bradbury, Mark Green

Software: https://github.com/sqrlab/CORE

Description:

Core is an automatic bug repair tool for concurrent Java programs that utilizes Java PathFinder (JPF) model checker.

Theses: