Deductive Program Repair

This publication has 18 references indexed in Scilit:

• Complete completion using types and weights
  ACM SIGPLAN Notices, 2013
• Program Repair without Regret
  Lecture Notes in Computer Science, 2013
• Program sketching
  International Journal on Software Tools for Technology Transfer, 2012
• Template-based program verification and program synthesis
  International Journal on Software Tools for Technology Transfer, 2012
• Functional synthesis for linear arithmetic and sets
  International Journal on Software Tools for Technology Transfer, 2011
• Specification-Based Program Repair Using SAT
  2011
• Z3: An Efficient SMT Solver
  2008
• Combinatorial sketching for finite programs
  ACM SIGPLAN Notices, 2006
• Program Repair as a Game
  2005
• Simplifying and isolating failure-inducing input
  IEEE Transactions on Software Engineering, 2002