Login / Signup

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