| 2008 |
|---|
| 8 | EE | Klaus Havelund,
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
Margaret H. Smith:
Automated Testing of Planning Models.
MoChArt 2008: 90-105 |
| 7 | EE | Margaret H. Smith,
Klaus Havelund:
Requirements Capture with RCAT.
RE 2008: 183-192 |
| 2002 |
|---|
| 6 | EE | Gerard J. Holzmann,
Margaret H. Smith:
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng. 28(4): 364-377 (2002) |
| 2001 |
|---|
| 5 | EE | Margaret H. Smith,
Gerard J. Holzmann,
Kousha Etessami:
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
RE 2001: 14-22 |
| 4 | | Gerard J. Holzmann,
Margaret H. Smith:
Software model checking: extracting verification models from source code.
Softw. Test., Verif. Reliab. 11(2): 65-79 (2001) |
| 2000 |
|---|
| 3 | EE | Gerard J. Holzmann,
Margaret H. Smith:
Automating software feature verification.
Bell Labs Technical Journal 5(2): 72-87 (2000) |
| 1999 |
|---|
| 2 | | Gerard J. Holzmann,
Margaret H. Smith:
Software Model Checking.
FORTE 1999: 481-497 |
| 1 | EE | Gerard J. Holzmann,
Margaret H. Smith:
A Practical Method for Verifying Event-Driven Software.
ICSE 1999: 597-607 |
