( en | de | ru )

 

Disambiguation of "McDonald, Jason"

Author of the publication

copydeleteadd this publication to your clipboard
Translating Object-Z Specifications to Passive Test Oracles.

, and . ICFEM, page 165-175. IEEE Computer Society, (1998)

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.

Scott McDonald

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

 

Other publications of authors with the same name

Preparing the next generation of instructional designers: a cross-institution faculty collaboration., , and . J. Comput. High. Educ., 30 (1): 125-153 (2018)Designing Authentic Cybersecurity Learning Experiences: Lessons from the Cybermatics Playable Case Study., , , , , , and . HICSS, page 1-10. ScholarSpace, (2019)Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications., , and . APSEC, page 322-331. IEEE Computer Society, (2003)Translating Object-Z Specifications to Object-Oriented Test Oracles., , and . APSEC, page 414-. IEEE Computer Society, (1997)Translating Object-Z Specifications to Passive Test Oracles., and . ICFEM, page 165-175. IEEE Computer Society, (1998)Programmatic Testing of the Standard Template Library Containers., , and . ASE, page 147-156. IEEE Computer Society, (1998)Generating test oracles from object-oriented formal specifications. University of Queensland, Australia, (2006)Specification-Based Class Testing with ClassBench., , and . APSEC, page 164-173. IEEE Computer Society, (1998)Testing Inheritance Hierarchies in the ClassBench Framework., and . TOOLS (28), page 229-. IEEE Computer Society, (1998)Formal Derivation of Finite State Machines for Class Testing., , , , and . ZUM, volume 1493 of Lecture Notes in Computer Science, page 42-59. Springer, (1998)