A unified framework for declarative debugging and testing.

Rafael Caballero Enrique Martin-Martin Adrián Riesco Salvador Tamarit

Published in: Inf. Softw. Technol. (2021)

Keyphrases

software testing
knowledge representation
test cases
mobile robot
test data
domain independent
declarative language
neural network
test generation
dynamic analysis
model based diagnosis
reverse engineering
search algorithm
multiscale
high level
search engine
genetic algorithm