• Publications
  • Influence
A taxonomy of model‐based testing approaches
TLDR
Model‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. Expand
  • 527
  • 49
  • PDF
A taxonomy of model-based testing
Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field. Seven different dimensions defineExpand
  • 238
  • 14
  • PDF
Central complex in the brain of crayfish and its possible homology with that of insects
A small, medial heterolateral neuropil in the brain of crustaceans has long been regarded as the central body of the crustacean brain. Its simplicity and the absence of clear layers within itsExpand
  • 91
  • 11
A subset of precise UML for model-based testing
TLDR
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. Expand
  • 103
  • 11
  • PDF
CZT: A Framework for Z Tools
TLDR
This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in a few lines of Java code. Expand
  • 70
  • 8
  • PDF
Jumble Java Byte Code to Measure the Effectiveness of Unit Tests
TLDR
Jumble is a byte code level mutation testing tool for Java which inter-operates with JUnit. Expand
  • 69
  • 6
A survey of software development practices in the New Zealand software industry
TLDR
We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. Expand
  • 48
  • 6
A Comparison of the BTT and TTF Test-Generation Methods
TLDR
This paper compares two methods of generating tests from formal specifications. Expand
  • 30
  • 5
Automated Boundary Testing from Z and B
TLDR
We present a method for black-box boundary testing from B and Z formal specifications. Expand
  • 136
  • 4
Symbolic Animation of JML Specifications
TLDR
This paper presents a model-based framework for the symbolic animation of object-oriented specifications with dynamic object creations, interactions and inheritance. Expand
  • 33
  • 4
  • PDF
...
1
2
3
4
5
...