Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics.

Maciej Gazda Robert M. Hierons

Published in: LICS (2021)

Keyphrases

test suite
test suite reduction
test cases
formal semantics
regression testing
logic programming
java programs
static analysis
software testing
model checker
closed world
database
video sequences
semantic information
testing process