Leesa Murray

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

Leesa Murray, David A. Carrington, Paul A. Strooper
An Approach to Specifying Software Frameworks. ACSC (2004)
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)
Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
Module Testing Embedded Software--An Industrial Pilot Project. ICECCS (2001)
David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
From Object-Z Specifications to ClassBench Test Suites. Softw. Test. Verification Reliab. 10 (2) (2000)
Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray
Teaching programming to beginners - choosing the language is just the first step. ACSE (2000)
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)
Leesa Murray, Jason McDonald, Paul A. Strooper
Specification-Based Class Testing with ClassBench. APSEC (1998)
Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
Specification-Based Class Testing: A Case Study. ICFEM (1998)
Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
Formal Derivation of Finite State Machines for Class Testing. ZUM (1998)
Jason McDonald, Leesa Murray, Paul A. Strooper
Translating Object-Z Specifications to Object-Oriented Test Oracles. APSEC (1997)
Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
Extending Test Templates with Inheritance. Australian Software Engineering Conference (1997)