TY  - GEN 
AU  - Valle Gómez, Kevin Jesús
AU  - García Domínguez, Antonio
AU  - Delgado Pérez, Pedro
AU  - Medina Bulo, María Inmaculada
A4  - Ingeniería Informática
PY  - 2022
SN  - 1751-8814
UR  - http://hdl.handle.net/10498/27463
AB  - Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution...
LA  - eng
PB  - WILEY
TI  - Mutation-inspired symbolic execution for software testing
DO  - 10.1049/sfw2.12063
ER  -