Dr Jessica Turner


Qualifications: BCMS(Hons) PhD Waikato

Contact Details

Room: TCBD.4.02
Phone: +64 7 262 0585

About Jessica

My research is in the area of model-based testing and model checking of interactive systems. This interdisciplinary work draws on formal methods, interactive system development, and human computer interaction. I have a particular interest in finding ways to assist in improving the safety and reliability of safety-critical interactive systems. I also have an interest in modelling traffic congestion and ways we can reduce this congestion in order to improve people's daily commutes.

Based at the Tauranga CBD campus, I am always interested in Work-Integrated Learning opportunities for current Computer Science students. Please feel free to get in touch if you have any projects in the Bay of Plenty area that would be suitable.

Research Interests

Formal Methods, Human Computer Interaction, Software Engineering, Traffic Modelling

Research Supervised

Past Students

  • Rosha Amin - Traffic Congestion in Tauranga - Summer Research Student
  • Shufen (Clover) Li - Generating Capture-Replay Test Scripts from Interaction Sequences - PgDip Student
  • Jiaxi Cheng - Reducing Vehicle Usage in the Bay of Plenty - Masters student
  • Nikki van Zandwijk - Using Internet of Things Design Artefacts for Model-Driven Development - Summer Research Student
  • Zane Hamilton - Simulating Traffic Data in the Bay of Plenty - Summer Research Student
  • Wikus van Pareen -  Model-driven Development of Internet of Things Applications using Informal Design Artefacts - Summer Research Student
  • Rhane Mercado - A Smartphone Application for Tracking Commuter Behaviour - Summer Research Student
  • Zane Hamilton - Investigating Commuter Data in the Bay of Plenty - Summer Research Student

Current Students

  • Bowen Liu - Refinement for Behaviour Specifications - PhD student
  • Bevan Muirhead - A Model-based Approach to Capture-Replay Test Script Generation - Honours Research Student
  • Thevinu Dilnuka - Calf Raise: An Android-based approach to computer vision for health applications - Honours Research Student (co-supervisor)
  • Reef Proctor - Modelling IoT Design Artefacts - Honours Research Student (co-supervisor)

Teaching Commitments

Recent Publications

  • Turner, J., Bowen, J., & van Zandwijk, N. (2021). Interaction modelling for IoT. In Proc 28th Asia-Pacific Software Engineering Conference (APSEC 2021) (pp. 120-129). Taipei, Taiwan (Virtual): IEEE. doi:10.1109/APSEC53868.2021.00020 Open Access version:

  • Turner, J., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction, 4(EICS). doi:10.1145/3397873

  • Turner, J., Bowen, J., & Reeves, S. (2020). SeqCheck: a model checking tool for interactive systems. In J. Bowen, J. Vanderdonckt, & M. Winckler (Eds.), Proc 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'20) (pp. 1-6). Sophia Antipolis, France: ACM. doi:10.1145/3393672.3398639

  • Turner, J. D. (2019). Supporting Interactive system testing with interaction sequences. (PhD Thesis, University of Waikato, New Zealand). Retrieved from

Find more research publications by Jessica Turner