User Activity
-
Created
ticket #130
on
Community Z Tools
Typechecker crashes instead of giving type error
-
Committed
[d72340]
Add style/class files so paper can be run through latex.
-
Committed
[97d517]
Add sample output of tests, as run on 11 Sep 2015.
-
Committed
[75dfd3]
Add example logging properties for ZLive
-
Committed
[b3b920]
Add CATS2009 pdf
-
Committed
[663cc9]
Add a case study - the MODAM framework for supporting Dynamic Agent Composition.
-
Created
ticket #5
on
Jumble Coverage Tool for JUnit Tests
Support JUnit 5
-
Modified
ticket #2
on
Model-Based Testing with JUnit
metric.toString() is showing "???"
Personal Data
- Username:
- marku
- Joined:
- 2003-07-17 02:37:17
- Location:
- Australia / AEST
- Gender:
- Male
Projects
This is a list of open source software projects that Mark Utting is associated with:
-
Community Z Tools Tool support for the Z formal notation Last Updated:
- Jumble Coverage Tool for JUnit Tests Last Updated:
- Model-Based Testing with JUnit Last Updated: