A Type-Directed Approach to Program Repair.

Alex Reinking Ruzica Piskac

Published in: CAV (1) (2015)

Keyphrases

computer programs
multiple types
genetic algorithm
knowledge base
image processing
decision trees
evolutionary algorithm
scheduling problem