A unified framework for declarative debugging and testing
- Caballero, R.
- Martin-Martin, E.
- Riesco, A.
- Tamarit, S.
Journal:
Information and Software Technology
ISSN: 0950-5849
Year of publication: 2021
Volume: 129
Type: Article