Dr Jessica Turner

Postdoctoral Fellow (Computer Science)
Qualifications: BCMS(Hons) PhD Waikato
Contact Details
Email: jessica.turner@waikato.ac.nz
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.
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
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
Teaching Commitments
Recent Publications
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., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction. doi:10.1145/3397873
Turner, J. D. (2019). Supporting Interactive system testing with interaction sequences. (PhD Thesis, University of Waikato, New Zealand). Retrieved from https://hdl.handle.net/10289/12310
Turner, J., Bowen, J., & Reeves, S. (2018). Simulating interaction sequences. In Proc 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018) (pp. 8:1-8:7). New York, NY: ACM. doi:10.1145/3220134.3220139
Find more research publications by Jessica Turner