Zhi-Chang Qi

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