Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

Correct Systems looks at the whole process of building a business process model, capturing
that in a formal requirements statement and developing a precise specification. The issue of …

In software development, identifying software faults is an important task. The presence of
faults not only reduces the quality of the software, but also increases the cost of development …

The X-machine testing method has been developed as an application of the W-method to
testing the control structure of an implementation, against a specification. The method was …

A version of the communicating stream X-machine model is proposed, which gives a precise
representation of the operation of transferring data from one X-machine to another. For this …

The adoption of agility at a large scale often requires the integration of agile and non-agile
development practices into hybrid software development and delivery environment. This …

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet
the manually created test scripts are often seriously incomplete. A unit-testing tool called …

A number of current control systems for aircraft have been specified with statecharts. The risk
of failures requires the use of a formal testing approach to ensure that all possible faults are …

Agile methodologies have become the preferred choice for modern software development.
These methods focus on iterative and incremental development, where both requirements …

Stream X-machines are a formalisation of extended finite state machines that have been
used to specify systems. One of the great benefits of using stream X-machines, for the …