|
Search the dblp DataBase
Xiaokang Qiu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
Automatic Test Case Generation for UML Activity Diagrams. [Citation Graph (, )][DBLP]
A Formal Architecture Pattern for Real-Time Distributed Systems. [Citation Graph (, )][DBLP]
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. [Citation Graph (, )][DBLP]
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|