TY  - JOUR
AU  - Caballero Roldán, Rafael
AU  - Riesco Rodríguez, Adrián
AU  - Martín Martín, Enrique
AU  - Tamarit, Salvador
PY  - 2020
DO  - 10.1016/J.INFSOF.2020.106427
SN  - 1873-6025
UR  - https://hdl.handle.net/20.500.14352/91146
AB  - Context: Debugging is the most challenging and time consuming task in software development. However, it is not properly integrated in the software development cycle, because the result of so much effort is not available in further iterations of the...
LA  - eng
PB  - Elsevier
KW  - Property-based testing
KW  - Unit testing
KW  - Declarative debugging
KW  - Unified framework
TI  - A unified framework for declarative debugging and testing
TY  - journal article
VL  - 129
ER  -