Removing redundant refusals: Minimal complete test suites for failure trace semantics.

Maciej Gazda Robert M. Hierons

Published in: Inf. Comput. (2023)

Keyphrases

test suite
test cases
test suite reduction
regression testing
test case generation
mutation testing
tool support
failure rate
closed world
minimal models
testing process
multi agent systems
static analysis
software testing
test data
semantic information
logic programming