A unified framework for declarative debugging and testing

Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit. A unified framework for declarative debugging and testing. Information \& Software Technology, 129:106427, 2021. [doi]

Abstract

Abstract is missing.