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:

• David Kelk. “CORE: A Framework for the Automatic Repair of Concurrency Bugs,” PhD Thesis, Computer Science, University of Ontario Institute of Technology, Feb. 2015. [supervisors: J. Bradbury, M. Green]