|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu |
Recursive proofs for inductive tree data-structures.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao |
UML interaction model-driven runtime verification of Java programs. |
IET Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Gennaro Parlato, Xiaokang Qiu |
Decidable logics combining heap structures and data. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Xiaokang Qiu |
Efficient Decision Procedures for Heaps Using STRAND. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li |
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. |
Comput. J. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
A Formal Architecture Pattern for Real-Time Distributed Systems. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML state machine diagrams, java, runtime verification |
| 1 | Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng |
Runtime Verification of Java Programs for Scenario-Based Specifications. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Chen, Xiaokang Qiu, Xuandong Li |
Automatic Test Case Generation for UML Activity Diagrams. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")