| 2004 |
|---|
| 11 | EE | Leesa Murray,
David A. Carrington,
Paul A. Strooper:
An Approach to Specifying Software Frameworks.
ACSC 2004: 185-192 |
| 2002 |
|---|
| 10 | EE | Leesa Murray,
Alena Griffiths,
Paul A. Strooper:
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.
ICECCS 2002: 232-237 |
| 2001 |
|---|
| 9 | EE | Jason McDonald,
Leesa Murray,
Peter A. Lindsay,
Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project.
ICECCS 2001: 233- |
| 2000 |
|---|
| 8 | EE | Roger Duke,
Eric Salzman,
Jay Burmeister,
Josiah Poon,
Leesa Murray:
Teaching programming to beginners - choosing the language is just the first step.
ACSE 2000: 79-86 |
| 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) |
| 1999 |
|---|
| 6 | EE | Leesa Murray,
David A. Carrington,
Ian MacColl,
Paul A. Strooper:
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.
TOOLS (32) 1999: 222-233 |
| 1998 |
|---|
| 5 | EE | Leesa Murray,
Jason McDonald,
Paul A. Strooper:
Specification-Based Class Testing with ClassBench.
APSEC 1998: 164-173 |
| 4 | EE | Ian MacColl,
Leesa Murray,
Paul A. Strooper,
David A. Carrington:
Specification-Based Class Testing: A Case Study.
ICFEM 1998: 222- |
| 3 | | 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 |
|---|
| 2 | EE | Jason McDonald,
Leesa Murray,
Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles.
APSEC 1997: 414- |
| 1 | EE | Leesa Murray,
David A. Carrington,
Ian MacColl,
Paul A. Strooper:
Extending Test Templates with Inheritance.
Australian Software Engineering Conference 1997: 80-87 |
