 | 2010 |
|---|
| 8 |       | Bin Lei,
Zhiming Liu,
Charles Morisset,
Xuandong Li:
State Based Robustness Testing for Components.
Electr. Notes Theor. Comput. Sci. 260: 173-188 (2010) |
| 7 | | Bin Lei,
Xuandong Li,
Zhiming Liu,
Charles Morisset,
Volker Stolz:
Robustness testing for software components.
Sci. Comput. Program. 75(10): 879-897 (2010) |
| 2008 |
|---|
| 6 | | Bin Lei,
Wenfeng Li:
Formation Control for Multi-robots Based on Flocking Algorithm.
ICIRA (1) 2008: 1238-1247 |
| 5 | | Bin Lei,
Linzhang Wang,
Xuandong Li:
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.
ICST 2008: 200-209 |
| 4 | | Bin Lei,
Wenfeng Li,
Fan Zhang:
Stable flocking algorithm for multi-robot systems formation control.
IEEE Congress on Evolutionary Computation 2008: 1544-1549 |
| 3 | | 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: 384-389 |
| 2006 |
|---|
| 2 | | 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: 94-105 |
| 1 | | Jianhua Zhao,
Bin Lei,
Xuandong Li,
Guoliang Zheng:
Improve Model Checking Efficiency Using Specific Knowledge about the System.
ISoLA 2006: 392-396 |
Data released under the ODC-BY 1.0 license — See also our legal information page