Login / Signup

Model and program repair via SAT solving.

Paul C. AttieAli CherriKinan Dak-Al-BabMouhammad SakrJad Saklawi
Published in: MEMOCODE (2015)
Keyphrases
  • objective function
  • genetic algorithm
  • evolutionary algorithm
  • upper bound
  • sat solving