Skip to content
Software Engineering & Education Research Lab

Software Engineering & Education Research Lab

Ontario Tech University | Oshawa, ON, Canada

  • People
  • Projects
  • Publications
  • Software
  • News
  • Twitter
  • Github
  • Instagram
  • YouTube
  • LinkedIn

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]
Software Engineering & Education Research Lab, Computer Science, Faculty of Science, Ontario Tech University, 2000 Simcoe Street North, Oshawa, ON, Canada, L1G 0C5. +1.905.721.8668 x3682