Specification-Based Program Repair Using SAT.

Divya Gopinath Muhammad Zubair Malik Sarfraz Khurshid

Published in: TACAS (2011)

Keyphrases

sat solvers
computer programs
satisfiability problem
static analysis
modelling language
control program
search algorithm
lower bound
phase transition
sat problem
max sat
control flow
search space
object oriented
formal specification
propositional satisfiability