C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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