Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation.

Bolong Zeng, Li Tan

Browse the full IRI paper archive.