| 2006 |
|---|
| 8 | | Mark R. Blackburn,
Robert Busser,
Aaron Nauman,
Travis R. Morgan:
Model-Based Testing in Practice.
GI Jahrestagung (2) 2006: 197-203 |
| 2005 |
|---|
| 7 | 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 |
| 2004 |
|---|
| 6 | EE | Ramaswamy Chandramouli,
Mark R. Blackburn:
Automated Testing of Security Functions Using a Combined Model and Interface-Driven Approach.
HICSS 2004 |
| 2002 |
|---|
| 5 | EE | Mark R. Blackburn,
Robert Busser,
Aaron Nauman,
Robert Knickerbocker,
Richard Kasuda:
Mars Polar Lander Fault Identification Using Model-based Testing.
ICECCS 2002: 163- |
| 2001 |
|---|
| 4 | | William A. Christens-Barry,
Johanna R. Bernstein,
Mark R. Blackburn:
Imaging the Third Dimension of the Archimedes Palimpsest.
PICS 2001: 202-205 |
| 1998 |
|---|
| 3 | EE | Mark R. Blackburn,
Robert Busser:
Requirements for Industrial-Strength Formal Method Tools.
WIFT 1998: 137- |
| 2 | EE | Mark R. Blackburn:
T-VECTM Product Summary.
WIFT 1998: 86- |
| 1989 |
|---|
| 1 | | Mark R. Blackburn:
Using Expert Systems to Construct Formal Specifications.
IEEE Expert 4(1): 62-74 (1989) |
