( en | de | ru )

 

Disambiguierung von "Zhou, Kuanjiu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Accelerating Software Model Checking Based on Program Backbone.

, , , , , und . APPT, Volume 8299 von Lecture Notes in Computer Science, Seite 347-358. Springer, (2013)

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.

Zhou Zhou

Zhou Zhou

Jiyang Zhou

Zuliang Zhou

Chunshan Zhou

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , und . ICPADS, Seite 844-851. IEEE, (2019)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , und . DSA, Seite 311-316. IEEE, (2019)Accelerating Software Model Checking Based on Program Backbone., , , , , und . APPT, Volume 8299 von Lecture Notes in Computer Science, Seite 347-358. Springer, (2013)Software Reliability Test Based on Markov Usage Model., , , , und . J. Softw., 7 (9): 2061-2068 (2012)Enhancing Concept Completeness for Graph Neural Networks via Side-Channel., , , , und . ICHMS, Seite 1-4. IEEE, (2024)基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model)., , , , und . 计算机科学, 44 (4): 234-240 (2017)Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV., , , und . IEEE Access, (2017)Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers., , , , und . ICA3PP (3), Volume 13157 von Lecture Notes in Computer Science, Seite 648-667. Springer, (2021)An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation., , , und . ICMB, Seite 60. IEEE Computer Society, (2007)Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets., , , , und . APPT, Volume 8299 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2013)