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]