Bolong Zeng

According to our database, Bolong Zeng authored at least 6 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements.

Bolong Zeng, Li Tan

Proceedings of the Theoretical Information Reuse and Integration, 2016

2015

Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.

Li Tan, Bolong Zeng

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

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

Bolong Zeng, Li Tan

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

A unified framework for evaluating test criteria in model-checking-assisted test case generation.

Bolong Zeng, Li Tan

Inf. Syst. Frontiers, 2014

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

Li Tan, Bolong Zeng

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2012

Test criteria for model-checking-assisted test case generation: A computational study.

Bolong Zeng, Li Tan

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012