Dr Mark Utting
This person does not currently hold a position at QUT.
Biography
Dr Mark Utting works for QUT, developing agent-based models of future electricity grids, and is also an Associate Professor in Computer Science at the University of Waikato in New Zealand. From 2009-2011, he worked for Netvalue.net.nz, using agile techniques to develop Next Generation Genomics Software. He is the author of the book `Practical Model-Based Testing: A Tools Approach’, as well as more than 50 publications on model-based testing, formal methods for object-oriented and real-time software and language design for parallelism.Personal details
Keywords
Agent-based modelling, GPU Computing, Model-Based Testing, Parallel Programming Languages, Smart Electricity Grids, Software Engineering, Formal specification and modeling, Automated theorem proving, Multi-core and many-core programming, Java performance
Discipline
Computer Software, Electrical and Electronic Engineering, Computation Theory and Mathematics
Field of Research code, Australian and New Zealand Standard Research Classification (ANZSRC), 2008
Qualifications
- Doctor of Philosophy (University of New South Wales)
Professional memberships and associations
Experience
Selected publications
- Bouquet F, Dadeau F, Legeard B, Utting M, (2005) JML-testing-tools: A symbolic animator for JML specifications using CLP, Lecture Notes in Computer Science, 3440, pp. 551-556.
- Malik P, Utting M, (2005) CZT: A framework for Z tools, Lecture Notes in Computer Science, 3455, pp. 65-84.
- Miller T, Freitas L, Malik P, Utting M, (2005) CZT support for Z extensions, Lecture Notes in Computer Science, 3771, pp. 227-245.
- Legeard B, Peureux F, Vacelet N, Utting M, Bouquet F, Grandpierre C, (2007) A subset of precise UML for model-based testing, Proceedings of the 3rd International Workshop on Advances in Model-Based Testing incorporated with the 2007 International Symposium on Software Testing and Analysis, pp. 95-104.
- Utting M, (2008) The role of model-based testing, Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005 [Lecture Notes in Computer Science, Vol 4171], pp. 510-517.
- Utting M, Malik P, (2008) Unit testing of Z specifications, Abstract State Machines, B and Z: First International Conference, ABZ 2008, Proceedings [Lecture Notes in Computer Science, Vol 5238], pp. 309-322.
- Legeard B, Utting M, (2010) Model-based testing: Next generation functional software testing, Software Tech News: Journal of Software Technology, 12 (4), pp. 9-18.
- Utting M, Malik P, Toyn I, (2010) Transformation rules for Z, Chicago Journal of Theoretical Computer Science, 2010, pp. 1-26.
- Utting M, Legeard B, (2007) Practical model-based testing : A tools approach.
QUT ePrints
For more publications by Mark, explore their research in QUT ePrints (our digital repository).