Dr Jessica Turner

Jessica Turner


Qualifications: BCMS(Hons) PhD Waikato

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.

Papers Taught

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

Current Students

  • Bowen Liu - Refinement for Behaviour Specifications - PhD 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

Research Interests

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

Recent Publications

  • 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

  • Turner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In M. Mazzara, I. Ober, & G. Salaün (Eds.), Proc STAF 2018 Collocated Workshops, Software Technologies: Applications and Foundations (FMIS 2018) Vol. LNCS 11176 (pp. 257-273). Conference held Toulouse, France: Springer. doi:10.1007/978-3-030-04771-9_20

Find more research publications by Jessica Turner


Computing; Formal Methods; Human Computer Interaction; Software Engineering