TY  - RPRT
TI  - Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
AU  - Luciano Zemín
AU  - Simón Gutiérrez Brida
AU  - Santiago Bermúdez
AU  - Santiago Perez De Rosso
AU  - Nazareno Aguirre
AU  - Ali Mili
AU  - Ali Jaoua
AU  - Marcelo F. Frias
PY  - 2019
UR  - https://arxiv.org/abs/1910.14011
ID  - 1910.14011
ER  -