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

Maciej Gazda, Robert M. Hierons

Browse the full LICS paper archive.