| 2006 |
|---|
| 5 | | Mark R. Blackburn,
Robert Busser,
Aaron Nauman,
Travis R. Morgan:
Model-Based Testing in Practice.
GI Jahrestagung (2) 2006: 197-203 |
| 2005 |
|---|
| 4 | EE | Lisa M. Boden,
Robert Busser,
Mark R. Blackburn,
Aaron Nauman:
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.
SEW 2005: 325-332 |
| 2002 |
|---|
| 3 | EE | Mark R. Blackburn,
Robert Busser,
Aaron Nauman,
Robert Knickerbocker,
Richard Kasuda:
Mars Polar Lander Fault Identification Using Model-based Testing.
ICECCS 2002: 163- |
| 1999 |
|---|
| 2 | EE | Maha Boughdadi,
Robert Busser:
An Industrial Application of an Integrated UML and SDL Modeling Technique.
COMPSAC 1999: 54-60 |
| 1998 |
|---|
| 1 | EE | Mark R. Blackburn,
Robert Busser:
Requirements for Industrial-Strength Formal Method Tools.
WIFT 1998: 137- |
