Leesa Murray

According to our database, Leesa Murray authored at least 11 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2004

An Approach to Specifying Software Frameworks.

Leesa Murray, David A. Carrington, Paul A. Strooper

Proceedings of the Computer Science 2004, 2004

2002

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.

Leesa Murray, Alena Griffiths, Paul A. Strooper

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

Module Testing Embedded Software--An Industrial Pilot Project.

Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

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

Teaching programming to beginners - choosing the language is just the first step.

Roger Duke, Eric Salzman, Jay Burmeister, Josiah Poon, Leesa Murray

Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, 2000

1999

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.

Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Formal Derivation of Finite State Machines for Class Testing.

Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Specification-Based Class Testing: A Case Study.

Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Specification-Based Class Testing with ClassBench.

Leesa Murray, Jason McDonald, Paul A. Strooper

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Extending Test Templates with Inheritance.

Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Translating Object-Z Specifications to Object-Oriented Test Oracles.

Jason McDonald, Leesa Murray, Paul A. Strooper

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997