Translating Object-Z Specifications to Object-Oriented Test Oracles. - Jason McDonald; Leesa Murray; Paul A. Strooper (APSEC, 1997)

Extending Test Templates with Inheritance. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (Australian Software Engineering Conference, 1997)

Specification-Based Class Testing with ClassBench. - Leesa Murray; Jason McDonald; Paul A. Strooper (APSEC, 1998)

Specification-Based Class Testing: A Case Study. - Ian MacColl; Leesa Murray; Paul A. Strooper; David A. Carrington (ICFEM, 1998)

Formal Derivation of Finite State Machines for Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Jason McDonald; Paul A. Strooper (ZUM, 1998)

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. - Leesa Murray; David A. Carrington; Ian MacColl; Paul A. Strooper (TOOLS (32), 1999)

Teaching programming to beginners - choosing the language is just the first step. - Roger Duke; Eric Salzman; Jay Burmeister; Josiah Poon; Leesa Murray (ACSE, 2000)

From Object-Z Specifications to ClassBench Test Suites. - David A. Carrington; Ian MacColl; Jason McDonald; Leesa Murray; Paul A. Strooper (Softw. Test. Verification Reliab., 2000)

Module Testing Embedded Software–An Industrial Pilot Project. - Jason McDonald; Leesa Murray; Peter A. Lindsay; Paul A. Strooper (ICECCS, 2001)

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. - Leesa Murray; Alena Griffiths; Paul A. Strooper (ICECCS, 2002)

An Approach to Specifying Software Frameworks. - Leesa Murray; David A. Carrington; Paul A. Strooper (ACSC, 2004)