Zongyan Qiu

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 7

Top Topics

Test Generation

Object Oriented

Top Venues

Frontiers Comput. Sci.

Publications

Hao Zhang, Ji Luo, Mengze Hu, Jun Yan, Jian Zhang, Zongyan Qiu
Detecting Exception Handling Bugs in C++ Programs. ICSE (2023)
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE (2021)
Haiyang Liu, Tingting Hu, Zongyan Qiu
Automatic fine-grained locking generation for shared data structures. TASE (2017)
Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu
Automatic Annotating and Checking of Dynamic Ownership. SBLP (2016)
Ke Zhang, Zongyan Qiu
Coq Implementation of OO Verification Framework VeriJ. SEFM (2016)
Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
Identifying XML Schema Constraints Using Temporal Logic. SETTA (2016)
Ke Zhang, Zongyan Qiu
Comparison Between Model Fields and Abstract Predicates. SBLP (2016)
Hai-Feng Guo, Zongyan Qiu
A dynamic stochastic model for automatic grammar-based test generation. Softw. Pract. Exp. 45 (11) (2015)
Haiyang Liu, Zongyan Qiu
Go Model and Object Oriented Programming. SBLP (2015)
Tingting Hu, Shuling Wang, Zongyan Qiu
Verifying Interaction between Methods in Classes. TASE (2015)
Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu
Automated Test Oracle Generation via Denotational Semantics. QSIC (2014)
Tiziana Margaria, Zongyan Qiu, Hongli Yang
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy
Locating fault-inducing patterns from structural inputs. SAC (2014)
Jinjiang Lei, Zongyan Qiu
Modular Reasoning for Message-Passing Programs. ICTAC (2014)
Jinjiang Lei, Zongyan Qiu, Zhong Shao
Trace-Based Temporal Verification for Message-Passing Programs. TASE (2014)
Jinjiang Lei, Zongyan Qiu
Rely-Guarantee Based Reasoning for Message-Passing Programs. Sci. Ann. Comput. Sci. 24 (2) (2014)
Hai-Feng Guo, Zongyan Qiu
Automatic Grammar-Based Test Generation. ICTSS (2013)
Ali Hong, Yijing Liu, Zongyan Qiu
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. FACS (2013)
Qin Shu, Zongyan Qiu, Shuling Wang
Confinement framework for encapsulating objects. Frontiers Comput. Sci. 7 (2) (2013)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7 (5) (2013)
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM (2012)
Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu
Performance Analysis of Data Gathering Protocol Using PRISM. ICECCS (2012)
Zongyan Qiu, Ali Hong, Yijing Liu
Modular Verification of OO Programs with Interfaces. ICFEM (2012)
Yong Jiang, Zongyan Qiu
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper). SPIN (2012)
Jinjiang Lei, Zongyan Qiu
Verification of Scalable Synchronous Queue. CPP (2011)
Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu
Analysis of WS-BPEL Processes in PRISM. TASE (2011)
Yijing Liu, Ali Hong, Zongyan Qiu
Inheritance and Modularity in Specification and Verification of OO Programs. TASE (2011)
Ke Zhang Ke, Zongyan Qiu, Hongli Yang
Generating Scenarios from Web Service Choreography. APSCC (2011)
Yijing Liu, Zongyan Qiu, Quan Long
WP Semantics and Behavioral Subtyping. ICTAC (2011)
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
Towards an Axiomatic Verification System for JavaScript. TASE (2011)
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
Stack Bound Inference for Abstract Java Bytecode. TASE (2010)
Yijing Liu, Zongyan Qiu
A Separation Logic for OO Programs. FACS (2010)
Zongyan Qiu, Liyang Peng, Hongli Yang
A Framework for Integrating Human Processes with Business Artifacts. SOSE (2010)
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu
A semantic model of confinement and Locality theorem. Frontiers Comput. Sci. China 4 (1) (2010)
Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC (2010)
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
Towards Scalable Compositional Test Generation. QSIC (2009)
Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
Enforcing Constraints on Life Cycles of Business Artifacts. TASE (2009)
Shengyi Wang, Zongyan Qiu
A Tool for Estimating Memory Usage. TASE (2009)
Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21 (1-2) (2009)
Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu
Verification of channel passing in choreography with model checking. SOCA (2009)
Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24 (2) (2009)
Chenguang Luo, Shengchao Qin, Zongyan Qiu
Verifying BPEL-Like Programs with Hoare Logic. TASE (2008)
Chao Cai, Zongyan Qiu
An Approach to Check Choreography with Channel Passing in WS-CDL. ICWS (2008)
Shuling Wang, Zongyan Qiu
A Generic Model for Confinement and its Application. TASE (2008)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Model-Checking of Web Services Choreography. SOSE (2008)
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
Correct Channel Passing by Construction. ICFEM (2008)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
Reasoning about Channel Passing in Choreography. TASE (2008)
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
A Formal Model of Human Workflow. ICWS (2008)
Chenguang Luo, Shengchao Qin, Zongyan Qiu
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2 (4) (2008)
Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) (2008)
Long Quan, Zongyan Qiu, Zhiming Liu
Formal Use of Design Patterns and Refactoring. ISoLA (2008)
Jing Dong, Tu Peng, Zongyan Qiu
Commutability of Design Pattern Instantiation and Integration. TASE (2007)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE (2007)
Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
A QoS View ofWeb Service Choreography. ICEBE (2007)
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
Towards the theoretical foundation of choreography. WWW (2007)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
Type Checking Choreography Description Language. ICFEM (2006)
Shuling Wang, Quan Long, Zongyan Qiu
Type Safety for FJ and FGJ. ICTAC (2006)
Geguang Pu, Jifeng He, Zongyan Qiu
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS (2006)
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
A Type System for the Relational Calculus of Object Systems. ICECCS (2006)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS (2006)
Xiangpeng Zhao, Quan Long, Zongyan Qiu
Model Checking Dynamic UML Consistency. ICFEM (2006)
Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) (2006)
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
Towards the Semantics and Verification of BPEL4WS. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS (2006)
Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM (2006)
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Patterns with Algebraic Properties in BPEL0. ISoLA (2006)
Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2 (1) (2006)
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS (2006)
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
Semantics of BPEL4WS-Like Fault and Compensation Handling. FM (2005)
Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
POST: A Case Study for an Incremental Development in rCOS. ICTAC (2005)
Geguang Pu, Zongyan Qiu, Jifeng He
. Electron. Notes Theor. Comput. Sci. 130 (2005)
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. 17 (4) (2005)
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM (2004)
Quan Long, Zongyan Qiu, Shengchao Qin
The Equivalence of Statecharts. ICFEM (2003)
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17 (3) (2002)
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
Hardware/Software Partitioning in Verilog. ICFEM (2002)
Zongyan Qiu
Bit Vector Encoding of N-Queen Problem. ACM SIGPLAN Notices 37 (2) (2002)
Shengchao Qin, Zongyan Qiu, Jifeng He
Constructing Hardware/Software Interface Using Protocol Converters. APAQS (2001)
Zongyan Qiu
Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. ACM SIGPLAN Notices 32 (9) (1997)
Naixiao Zhang, Hongjun Zheng, Zongyan Qiu
Garment: A Mechanism for Abstraction and Encapsulation of Languages. ACM SIGPLAN Notices 32 (6) (1997)