Context: In modern systems, like cyber-physical systems, where software and physical
services are interacting, safety, security or performance play an important role. In order to …

As the current specification-based testing (SBT) face some challenges in test case
generation for regression testing, we propose a new method for efficient test case …

Specification-based (or functional) testing enables us to detect errors in the implementation
of functions defined in specifications, but since specifications are often incomplete in …

Writing formal specifications can help developers understand users' requirements, and build
a solid foundation for implementation. But like other activities in software development, it is …

When testing component-based or service-oriented applications we cannot always rely on
coverage criteria based on source code. Instead, we have to express our requirements for …

Testing service-oriented or component-based systems poses new challenges due to the non-
availability of code and the distributed nature of the applications being tested. Structural …

It is well recognized that formal specification-based testing is a promising technique for
software quality assurance. However, the application of this basic principle in integration …

Software Testing is a type of Quality Assurance technique consisting of the software product
dynamic analyses. In other words, software engineers execute the software aiming at to …

A SOFL specification can be written with errors inside, leading to an untrustable situation for
implementation. Some techniques, such as specification review and testing, have been …

Web services only expose interface level information, abstracting away implementation
details. Testing is a time consuming and resource-intensive activity. Therefore, it is important …