Search the dblp DataBase

Publications of Author

1. Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
   Property-Oriented Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   APSEC, 2004, pp:358-365 [Conf]
   
2. Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi
   Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2005, pp:13-18 [Conf]
   
3. Xin Wang, Zhi-Chang Qi, Shuhao Li
   An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:440-449 [Conf]
   
4. Shuhao Li, Ji Wang, Zhi-Chang Qi
   Property-Oriented Test Generation from UML Statecharts. [Citation Graph (0, 0)][DBLP]
   ASE, 2004, pp:122-131 [Conf]
   
5. Shuhao Li, Zhi-Chang Qi
   Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest. [Citation Graph (0, 0)][DBLP]
   SOQUA/TECOS, 2004, pp:191-206 [Conf]
   
6. 
   A Game-Theoretic Approach to Real-Time System Testing. [Citation Graph (, )][DBLP]
   
   
7. 
   Scenario-based analysis and synthesis of real-time systems using uppaal. [Citation Graph (, )][DBLP]
   
   
8. 
   Verifying Real-Time Systems against Scenario-Based Requirements. [Citation Graph (, )][DBLP]
   
   
9. 
   Automated WCET Analysis Based on Program Modes. [Citation Graph (, )][DBLP]
   
   
10. 
    A Quasi Word-Based Compression Method of English Text Using Byte-Oriented Coding Scheme. [Citation Graph (, )][DBLP]
    
    
11. 
    Timed Testing under Partial Observability. [Citation Graph (, )][DBLP]
    
    
12. 
    Automated Worst-Case Execution Time Analysis Based on Program Modes. [Citation Graph (, )][DBLP]
    
    
13. 
    Cooperative Testing of Timed Systems. [Citation Graph (, )][DBLP]