Test criteria for model-checking-assisted test case generation: A computational study. - Bolong Zeng; Li Tan (IRI, 2012)

Specification-based testing with buchi automata: Transition coverage criteria and property refinement. - Li Tan; Bolong Zeng (IRI, 2014)

A unified framework for evaluating test criteria in model-checking-assisted test case generation. - Bolong Zeng; Li Tan (Inf. Syst. Frontiers, 2014)

Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation. - Bolong Zeng; Li Tan (IRI, 2015)

Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement. - Li Tan; Bolong Zeng (Formalisms for Reuse and Systems Integration, 2015)

Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements. - Bolong Zeng; Li Tan (Theoretical Information Reuse and Integration, 2016)