Jason McDonald

According to our database, Jason McDonald authored at least 10 papers between 1997 and 2006.

Collaborative distances:

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

2006

Generating test oracles from object-oriented formal specifications

Jason McDonald

PhD thesis, 2006

2003

Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.

Jason McDonald, Paul A. Strooper, Daniel Hoffman

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

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

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

Testing Inheritance Hierarchies in the ClassBench Framework.

Jason McDonald, Paul A. Strooper

Proceedings of the TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Programmatic Testing of the Standard Template Library Containers.

Jason McDonald, Daniel Hoffman, Paul A. Strooper

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Translating Object-Z Specifications to Passive Test Oracles.

Jason McDonald, Paul A. Strooper

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

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