dblp.uni-trier.dewww.uni-trier.de

Jason McDonald

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
9EEJason McDonald, Paul A. Strooper, Daniel Hoffman: Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC 2003: 322-331
2001
8EEJason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233-
2000
7 David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper: From Object-Z Specifications to ClassBench Test Suites. Softw. Test., Verif. Reliab. 10(2): 111-137 (2000)
1998
6EELeesa Murray, Jason McDonald, Paul A. Strooper: Specification-Based Class Testing with ClassBench. APSEC 1998: 164-173
5EEJason McDonald, Daniel Hoffman, Paul A. Strooper: Programmatic Testing of the Standard Template Library Containers. ASE 1998: 147-156
4EEJason McDonald, Paul A. Strooper: Translating Object-Z Specifications to Passive Test Oracles. ICFEM 1998: 165-
3EEJason McDonald, Paul A. Strooper: Testing Inheritance Hierarchies in the ClassBench Framework. TOOLS (28) 1998: 229-
2 Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper: Formal Derivation of Finite State Machines for Class Testing. ZUM 1998: 42-59
1997
1EEJason McDonald, Leesa Murray, Paul A. Strooper: Translating Object-Z Specifications to Object-Oriented Test Oracles. APSEC 1997: 414-

Coauthor Index

1David A. Carrington [2] [7]
2Daniel Hoffman [5] [9]
3Peter A. Lindsay [8]
4Ian MacColl [2] [7]
5Leesa Murray [1] [2] [6] [7] [8]
6Paul A. Strooper [1] [2] [3] [4] [5] [6] [7] [8] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)