Bolong Zeng - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 6 from 6

2016

Test Reactive Systems with Büchi-Automaton-Based Temporal RequirementsBolong Zeng, Li Tan. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 31-57, Springer, 2016. [doi]

2015

Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property RefinementLi Tan, Bolong Zeng. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Formalisms for Reuse and Systems Integration. Volume 346 of Advances in Intelligent Systems and Computing, pages 1-25, Springer, 2015. [doi]

Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance EvaluationBolong Zeng, Li Tan. iri 2015: 380-387 [doi]

2014

Specification-based testing with buchi automata: Transition coverage criteria and property refinementLi Tan, Bolong Zeng. iri 2014: 52-61 [doi]

A unified framework for evaluating test criteria in model-checking-assisted test case generationBolong Zeng, Li Tan. isf, 16(5):823-834, 2014. [doi]

2012

Test criteria for model-checking-assisted test case generation: A computational studyBolong Zeng, Li Tan. iri 2012: 600-607 [doi]

Sign in or sign up to see more results.

runs on WebDSL