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 …

We describe the deployment of the Sapienz Search Based Software Engineering (SBSE)
testing system. Sapienz has been deployed in production at Facebook since September …

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 …

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 …

Engineering design in general and system design of embedded software have a direct
impact on the final engineering product and the software implementation, respectively …

Building secure software is about taking security into account during all phases of software
development. This practice is missing in, widely used, traditional developments due to …

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 …

UML-RT is one of the languages used in the industrial practice of the model-driven
development (MDD). The language is a proper profile of UML 2 and it uses UML-RT State …

Stream X-machines are a form of extended finite state machines that has received extensive
study in recent years. A stream X-machine describes a system as a finite set of states, an …