Leesa Murray

11 papers B 2C 3Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2004 — conf
An Approach to Specifying Software Frameworks.
ACSC
Leesa Murray, David A. Carrington, Paul A. Strooper
2002 B conf
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.
ICECCS
Leesa Murray, Alena Griffiths, Paul A. Strooper
2001 B conf
Module Testing Embedded Software--An Industrial Pilot Project.
ICECCS
Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
2000 J jnl
From Object-Z Specifications to ClassBench Test Suites.
Softw. Test. Verification Reliab.
David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper
2000 — conf
Teaching programming to beginners - choosing the language is just the first step.
ACSE
Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray
1999 — conf
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.
TOOLS (32)
Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
1998 — conf
Formal Derivation of Finite State Machines for Class Testing.
ZUM
Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper
1998 C conf
Specification-Based Class Testing with ClassBench.
APSEC
Leesa Murray, Jason McDonald, Paul A. Strooper
1998 C conf
Specification-Based Class Testing: A Case Study.
ICFEM
Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington
1997 — conf
Extending Test Templates with Inheritance.
Australian Software Engineering Conference
Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper
1997 C conf
Translating Object-Z Specifications to Object-Oriented Test Oracles.
APSEC
Jason McDonald, Leesa Murray, Paul A. Strooper