Contact Details

Email: jessicat@waikato.ac.nz
Room: TCBD.4.02
Phone: +64 7 262 0585

About Jessica

My research is in the area of model-based testing for 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.

Research Interests

Formal Methods, Human Computer Interaction, Software Engineering

Teaching Commitments

Recent Publications

• 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

• 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