CORE: Automatic Bug Repair using Model Checking
Core is an automatic bug repair tool for concurrent Java programs that utilizes Java PathFinder (JPF) model checker.
- 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]