Zhi-Chang Qi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2003–2006
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICSE | Automated WCET Analysis Based on Program Modes. | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
| 2005 | COMPSAC | Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. | Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi |
| 2005 | ICECCS | An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. | Xin Wang, Zhi-Chang Qi, Shuhao Li |
| 2005 | ICFEM | 2/3 Alternating Simulation Between Interface Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | FORTE | Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. | Xin Wang, Ji Wang, Zhi-Chang Qi |
| 2004 | ICFEM | Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | ICTAC | Reverse Observation Equivalence Between Labelled State Transition Systems. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2003 | APSEC | Generating Test Oracle for Role Binding in Multi-Agent Systems. | Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi |