Login / Signup
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