Specification-based testing with buchi automata: Transition coverage criteria and property refinement.

Li Tan, Bolong Zeng

Browse the full IRI paper archive.