| 2003 |
|---|
| 9 | EE | Jason McDonald,
Paul A. Strooper,
Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.
APSEC 2003: 322-331 |
| 2001 |
|---|
| 8 | EE | Jason McDonald,
Leesa Murray,
Peter A. Lindsay,
Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project.
ICECCS 2001: 233- |
| 2000 |
|---|
| 7 | | David A. Carrington,
Ian MacColl,
Jason McDonald,
Leesa Murray,
Paul A. Strooper:
From Object-Z Specifications to ClassBench Test Suites.
Softw. Test., Verif. Reliab. 10(2): 111-137 (2000) |
| 1998 |
|---|
| 6 | EE | Leesa Murray,
Jason McDonald,
Paul A. Strooper:
Specification-Based Class Testing with ClassBench.
APSEC 1998: 164-173 |
| 5 | EE | Jason McDonald,
Daniel Hoffman,
Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers.
ASE 1998: 147-156 |
| 4 | EE | Jason McDonald,
Paul A. Strooper:
Translating Object-Z Specifications to Passive Test Oracles.
ICFEM 1998: 165- |
| 3 | EE | Jason McDonald,
Paul A. Strooper:
Testing Inheritance Hierarchies in the ClassBench Framework.
TOOLS (28) 1998: 229- |
| 2 | | Leesa Murray,
David A. Carrington,
Ian MacColl,
Jason McDonald,
Paul A. Strooper:
Formal Derivation of Finite State Machines for Class Testing.
ZUM 1998: 42-59 |
| 1997 |
|---|
| 1 | EE | Jason McDonald,
Leesa Murray,
Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles.
APSEC 1997: 414- |
