Search the dblp DataBase

Publications of Author

1. Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
   Runtime Verification of Java Programs for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2006, pp:94-105 [Conf]
   
2. 
   Improve Model Checking Efficiency Using Specific Knowledge about the System. [Citation Graph (, )][DBLP]
   
   
3. 
   UML state machine diagram driven runtime verification of Java programs for message interaction consistency. [Citation Graph (, )][DBLP]
   
   
4. 
   Stable flocking algorithm for multi-robot systems formation control. [Citation Graph (, )][DBLP]
   
   
5. 
   UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. [Citation Graph (, )][DBLP]
   
   
6. 
   Formation Control for Multi-robots Based on Flocking Algorithm. [Citation Graph (, )][DBLP]
   
   
7. 
   State Based Robustness Testing for Components. [Citation Graph (, )][DBLP]