Mark Utting

Mark Utting is a distinguished researcher and academic with a strong focus on software engineering, particularly in the areas of formal methods, model-based testing, and software verification. He has made significant contributions to the development of tools and methodologies that enhance the reliability and correctness of software systems. His work often bridges theoretical foundations with practical applications, making it highly relevant to both academia and industry. Utting has been involved in numerous research projects and has published extensively in top-tier conferences and journals. He is also known for his leadership in fostering collaboration between researchers and practitioners, and for his efforts in advancing the use of formal methods in software development. His research has had a lasting impact on the field, influencing the way software is designed, tested, and maintained.

Mark Utting is a researcher at The University of Queensland, specializing in Formal methods, Model-Based Testing, Program Analysis, and Machine Learning. His work focuses on developing tools and techniques for automated test generation, particularly from formal models such as Z and B. Utting has contributed to the creation of frameworks like CZT and tools such as BZ-TT, which leverage constraint logic programming for test generation. His research also addresses challenges in test case explosion, boundary testing, and requirements traceability in software validation. Utting's publications explore the integration of real-time scheduling theory with program refinement and the application of model-based testing in industry settings.