CORE: Automatic Bug Repair using Model Checking

Project Members:

• David Kelk, Jeremy Bradbury, Mark Green

Software:

• Coming soon

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]