@misc{indiciae0961582eed0e,
  title = {Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT},
  author = {Luciano Zemín and Simón Gutiérrez Brida and Santiago Bermúdez and Santiago Perez De Rosso and Nazareno Aguirre and Ali Mili and Ali Jaoua and Marcelo F. Frias},
  year = {2019},
  url = {https://arxiv.org/abs/1910.14011},
  note = {Source identifier: 1910.14011}
}