Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ping Luo
Claudia Calabrese
Francois Gagnon
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Shuichi Ino
Home
/
Author
/
MARK UTTING
Author Info
Open Visualization
Name
Affiliation
Papers
MARK UTTING
Queensland Univ Technol, Brisbane, Qld 4000, Australia
21
Collaborators
Citations
PageRank
35
414
21.41
Referers
Referees
References
937
382
199
Search Limit
100
937
Publications (21 rows)
Collaborators (35 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
An Introduction to Software Verification with Whiley.
0
0.34
2018
Bound Analysis for Whiley Programs.
1
0.40
2016
Parallel ABM for Electricity Distribution Grids: A Case Study.
1
0.37
2013
The JStar language philosophy
0
0.34
2013
A taxonomy of model-based testing approaches
213
5.60
2012
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
3
0.42
2009
Unit Testing of Z Specifications
2
0.40
2008
A Comparison of State-Based Modelling Tools for Model Validation
6
0.59
2008
CZT support for z extensions
11
0.69
2005
CZT: a framework for Z tools
31
1.57
2005
JML-Testing-Tools: a symbolic animator for JML specifications using CLP
13
0.86
2005
Symbolic animation of JML specifications
19
1.17
2005
Boundary Coverage Criteria for Test Generation from Formal Models
33
1.80
2004
Faster Analysis of Formal Specifications
2
0.48
2004
Object orientation without extending Z
2
0.42
2003
ZML: XML support for standard Z
12
1.15
2003
Tabling structures for bottom-up logic programming
1
0.40
2002
Teaching formal methods lite via testing
3
0.42
2001
A sequential real-time refinement calculus
40
1.55
2001
A Survey of Software Development Practices in the New Zealand Software Industry
18
1.63
2000
Interactively Verifying a Simple Real-time Scheduler
3
0.81
1995
1
