Jiesong Yuan

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe (2006)
Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng
Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC (2004)