PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Zeng, Bolong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A unified framework for evaluating test criteria in model-checking-assisted test case generation.

, und . Information Systems Frontiers, 16 (5): 823-834 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhuoyao Zeng University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Test criteria for model-checking-assisted test case generation: A computational study., und . IRI, Seite 600-607. IEEE, (2012)Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation., und . IRI, Seite 380-387. IEEE, (2015)Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement., und . Formalisms for Reuse and Systems Integration, Volume 346 von Advances in Intelligent Systems and Computing, Springer, (2015)Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements., und . Theoretical Information Reuse and Integration, Volume 446 von Advances in Intelligent Systems and Computing, Springer, (2016)Specification-based testing with buchi automata: Transition coverage criteria and property refinement., und . IRI, Seite 52-61. IEEE, (2014)A unified framework for evaluating test criteria in model-checking-assisted test case generation., und . Information Systems Frontiers, 16 (5): 823-834 (2014)