Abstract
Position Presentation
NII Shonan Meeting Report, (2014-16), p.15
NII Shonan Meeting: Integration of Formal Methods and Testing for Model-based Systems Engineering, 2014 (01-Dec-2014–04-Dec-2014)
2014
Abstract
A brief overview of several recent model-based testing and verification projects that I've been involved in. These include our book on "Practical Model-Based Testing", the Jumble mutation analysis tool for JUnit tests, unit testing of Z specifications with positive and negative tests, correctness checking of the JStar parallel programming language using SMT solvers, and work with the Whiley verified programming language in collaboration with Victoria University of Wellington. The common theme is getting computers to automate more of the checking for errors in our programs.
Details
- Title
- Position Presentation
- Authors
- Mark Utting (Author)
- Publication details
- NII Shonan Meeting Report, (2014-16), p.15
- Conference details
- NII Shonan Meeting: Integration of Formal Methods and Testing for Model-based Systems Engineering, 2014 (01-Dec-2014–04-Dec-2014)
- Publisher
- NII Shonan School
- Date published
- 2014
- ISSN
- 2186-7437
- Copyright note
- Copyright © 2014 The Author. Reproduced with permission.
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449284302621
- Output Type
- Abstract
Metrics
17 File views/ downloads
561 Record Views