Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Object-Z Specifications to ClassBench Test Suites., , , , and . Softw. Test. Verification Reliab., 10 (2): 111-137 (2000)An Approach to Specifying Software Frameworks., , and . ACSC, volume 26 of CRPIT, page 185-192. Australian Computer Society, (2004)Translating Object-Z Specifications to Object-Oriented Test Oracles., , and . APSEC, page 414-. IEEE Computer Society, (1997)Teaching programming to beginners - choosing the language is just the first step., , , , and . ACSE, volume 8 of ACM International Conference Proceeding Series, page 79-86. ACM, (2000)Specification-Based Class Testing with ClassBench., , and . APSEC, page 164-173. IEEE Computer Society, (1998)TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing., , , and . TOOLS (32), page 222-233. IEEE Computer Society, (1999)Formal Derivation of Finite State Machines for Class Testing., , , , and . ZUM, volume 1493 of Lecture Notes in Computer Science, page 42-59. Springer, (1998)OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy., , and . ICECCS, page 232-237. IEEE Computer Society, (2002)Module Testing Embedded Software--An Industrial Pilot Project., , , and . ICECCS, page 233-. IEEE Computer Society, (2001)Extending Test Templates with Inheritance., , , and . Australian Software Engineering Conference, page 80-87. IEEE Computer Society, (1997)