SQR Lab LogoSoftware Quality Research Lab

University of Ontario Institute of Technology

Main menu

Skip to primary content
  • Home
  • People
    • Current Members
    • Collaborators
    • Alumni
  • Research Projects
  • Publications
    • Conference & Journal Papers
    • Posters & Exhibits
    • Student Theses
  • Software
    • AI-Based Testing Tools
    • Concurrency Testing Tools
    • Software Visualization Tools
    • Serious Games for CS
  • Funding
  • Blog

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]

TWEETS

My Tweets

CONTACT

Software Quality Research Lab
Computer Science, Faculty of Science
University of Ontario Institute of Technology
2000 Simcoe Street North
Oshawa, ON, Canada, L1G 0C5
+1.905.721.8668 x3682

VISIT

Science Building, room UA4260

CONNECT

Twitter feed  @sqrlab
SQRLab @ GitHub  sqrlab
Skype  SQR Lab
Flickr  sqrgroup
YouTube channel  jeremysbradbury
SQR Lab Blog  SQR Lab Blog

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
© 2019 Software Quality Research Laboratory