Jason McDonald

According to our database, Jason McDonald authored at least 14 papers between 1997 and 2022.

Collaborative distances:

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

2022

Presenting in Virtual Spaces: Students' Experience in a Simulated Playable Case Study.

Jon Balzotti, Jason McDonald, Lila Rice, Melissa Franklin

Proceedings of the IEEE International Professional Communication Conference, 2022

2019

Designing Authentic Cybersecurity Learning Experiences: Lessons from the Cybermatics Playable Case Study.

Jason McDonald, Derek L. Hansen, Jonathan Balzotti, Johnson Tanner, Desiree Winters, Justin Scott Giboney, Elizabeth Bonsignore

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Theory of Experiential Career Exploration Technology (TECET): Increasing cybersecurity career interest through playable case studies.

Justin Scott Giboney, Derek L. Hansen, Jason McDonald, Jonathan Balzotti, Johnson Tanner, Desiree Winters, Elizabeth Bonsignore

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Preparing the next generation of instructional designers: a cross-institution faculty collaboration.

Patricia J. Slagter van Tryon, Jason McDonald, Atsusi Hirumi

J. Comput. High. Educ., 2018

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