• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automated program repair with canonical constraints.

Andrew HillCorina S. PasareanuKathryn T. Stolee
Published in: ICSE (Companion Volume) (2018)
Keyphrases
  • constraint satisfaction
  • information systems
  • constrained optimization
  • fully automated
  • semi automated
  • data driven
  • linear constraints
  • program execution
  • optimization problems
  • global constraints
  • multiple constraints