Jason McDonald

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c8		Jason McDonald, Paul A. Strooper, Daniel Hoffman: Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC 2003: 322-331
	2001
c7		Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper: Module Testing Embedded Software--An Industrial Pilot Project. ICECCS 2001: 233-
	2000
j1		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
c6		Leesa Murray, Jason McDonald, Paul A. Strooper: Specification-Based Class Testing with ClassBench. APSEC 1998: 164-173
c5		Jason McDonald, Paul A. Strooper: Translating Object-Z Specifications to Passive Test Oracles. ICFEM 1998: 165-
c4		Jason McDonald, Daniel Hoffman, Paul A. Strooper: Programmatic Testing of the Standard Template Library Containers. ASE 1998: 147-156
c3		Jason McDonald, Paul A. Strooper: Testing Inheritance Hierarchies in the ClassBench Framework. TOOLS (28) 1998: 229-
c2		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
c1		Jason McDonald, Leesa Murray, Paul A. Strooper: Translating Object-Z Specifications to Object-Oriented Test Oracles. APSEC 1997: 414-

Coauthor Index

1	David A. Carrington	[j1] [c2]
2	Daniel Hoffman	[c8] [c4]
3	Peter A. Lindsay (Peter Alexander Lindsay)	[c7]
4	Ian MacColl	[j1] [c2]
5	Leesa Murray	[c7] [j1] [c6] [c2] [c1]
6	Paul A. Strooper	[c8] [c7] [j1] [c6] [c5] [c4] [c3] [c2] [c1]

Last update Tue May 21 16:37:31 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page