Login / Signup

Sound and Complete Mutation-Based Program Repair.

Bat-Chen RothenbergOrna Grumberg
Published in: FM (2016)
Keyphrases
  • genetic algorithm
  • evolutionary algorithm
  • population size
  • test cases
  • genetic algorithm ga
  • static analysis
  • information systems
  • artificial neural networks
  • fitness function
  • mutation operator