Zhi-Chang Qi

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi
Automated Worst-Case Execution Time Analysis Based on Program Modes. Comput. J. 52 (5) (2009)
Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi
Automated WCET Analysis Based on Program Modes. AST (2006)
Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. COMPSAC (1) (2005)
Xin Wang, Zhi-Chang Qi, Shuhao Li
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS (2005)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
2/3 Alternating Simulation Between Interface Automata. ICFEM (2005)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM (2004)
Xin Wang, Ji Wang, Zhi-Chang Qi
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. FORTE (2004)
Shuhao Li, Ji Wang, Zhi-Chang Qi
Property-Oriented Test Generation from UML Statecharts. ASE (2004)
Shuhao Li, Zhi-Chang Qi
Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. SOQUA/TECOS (2004)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC (2004)
Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi
Generating Test Oracle for Role Binding in Multi-Agent Systems. APSEC (2003)
Jinhui Shan, Ji Wang, Zhi-Chang Qi, Jianping Wu
Improved Method to Generate Path-Wise Test Data. J. Comput. Sci. Technol. 18 (2) (2003)
Yan Qi, Xin Wang, Wei Yan, XinJun Mao, Zhi-Chang Qi
A Formal Specification and Method for MAS as a Distributed System. APPT (2003)
Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. AOSE (2003)
Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT (2003)