Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
Luciano ZemínSimón Gutiérrez BridaSantiago BermúdezSantiago Perez De RossoNazareno AguirreAli MiliAli JaouaMarcelo F. FriasPublished in: CoRR (2019)
Keyphrases
- search space
- test cases
- control program
- test suite
- test sequences
- high level
- search algorithm
- static analysis
- sat solvers
- satisfiability problem
- computer programs
- pruning method
- specification language
- control flow
- stochastic local search
- phase transition
- pruning algorithm
- modelling language
- orders of magnitude
- sat solving
- mutation testing