| 2011 |
|---|
| 20 | A Parallel Approach to Concolic Testing with Low-cost Synchronization. Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang. Electr. Notes Theor. Comput. Sci. (274): 83-96 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 19 | Automatically Testing Web Services Choreography with Assertions. Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding. ICFEM 2010, 138-154. Web SearchBibTeXDownload |
| 18 | Linking denotational semantics with operational semantics for web services. Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen. ISSE (6): 283-298 (2010). Web SearchBibTeXDownload |
| 17 | Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu. QSIC 2010, 341-344. Web SearchBibTeXDownload |
| 16 | Web services choreography validation. Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu. Service Oriented Computing and Applications (4): 291-305 (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 15 | Towards Scalable Compositional Test Generation. Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu. QSIC 2009, 353-358. Web SearchBibTeXDownload |
| 14 | Static validation of WS-CDL documents. Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun. Simulation Modelling Practice and Theory (17): 1367-1377 (2009). Web SearchBibTeXDownload |
| 13 | Simulation and validation of Web services choreography. Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang. SOCA 2009, 1-8. Web SearchBibTeXDownload |
| 12 | Test Data Generation for Derived Types in C Program. Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu. TASE 2009, 155-162. Web SearchBibTeXDownload |
| 2008 |
|---|
| 11 | Execution Semantics for rCOS. Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He. APSEC 2008, 119-126. Web SearchBibTeXDownload |
| 10 | The Verification of rCOS Using Spin. Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu. Electr. Notes Theor. Comput. Sci. (207): 49-67 (2008). Web SearchBibTeXDownload |
| 9 | Static Check of WS-CDL Documents. Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu. SOSE 2008, 142-147. Web SearchBibTeXDownload |
| 2007 |
|---|
| 8 | The Validation and Verification of WSCDL. Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He. APSEC 2007, 81-88. Web SearchBibTeXDownload |
| 7 | A Formal Model for Compensable Transactions. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He. ICECCS 2007, 64-73. Web SearchBibTeXDownload |
| 6 | Modeling and Verifying Web Services Choreography Using Process Algebra. Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu. SEW 2007, 256-268. Web SearchBibTeXDownload |
| 5 | An Operational Approach to BPEL-like Programming. Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li. SEW 2007, 236-245. Web SearchBibTeXDownload |
| 4 | Looking into Compensable Transactions. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He. SEW 2007, 154-166. Web SearchBibTeXDownload |
| 3 | Conformance Validation between Choreography and Orchestration. Jing Li, Huibiao Zhu, Geguang Pu. TASE 2007, 473-482. Web SearchBibTeXDownload |
| 2006 |
|---|
| 2 | Towards the Semantics for Web Service Choreography Description Language. Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu. ICFEM 2006, 246-263. Web SearchBibTeXDownload |
| 2003 |
|---|
| 1 | Building a web thesaurus from web link structure. Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma. SIGIR 2003, 48-55. Web SearchBibTeXDownload |
