Jason McDonald

According to our database1, Jason McDonald authored at least 15 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Perception of "This is Not a Game": Definition and Measurement.
Int. J. Hum. Comput. Interact., September, 2024

2022
Presenting in Virtual Spaces: Students' Experience in a Simulated Playable Case Study.
Proceedings of the IEEE International Professional Communication Conference, 2022

2019
Designing Authentic Cybersecurity Learning Experiences: Lessons from the Cybermatics Playable Case Study.
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.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018
Preparing the next generation of instructional designers: a cross-institution faculty collaboration.
J. Comput. High. Educ., 2018

2006
Generating test oracles from object-oriented formal specifications
PhD thesis, 2006

2003
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2001
Module Testing Embedded Software--An Industrial Pilot Project.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000
From Object-Z Specifications to ClassBench Test Suites.
Softw. Test. Verification Reliab., 2000

1998
Formal Derivation of Finite State Machines for Class Testing.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Testing Inheritance Hierarchies in the ClassBench Framework.
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.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Translating Object-Z Specifications to Passive Test Oracles.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Specification-Based Class Testing with ClassBench.
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997
Translating Object-Z Specifications to Object-Oriented Test Oracles.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997


  Loading...