Despite the growing number of concurrent applications in nowadays systems, debugging
concurrent programs remains an open issue due to its intrinsic complexity. In this work, we …

This article presents Makina, a new library and a domain specific language for writing
property-based testing models for stateful programs. Models written in the new domain …

Testing is the dominant technique for quality assurance of software systems. It typically
consumes considerable resources in development projects, and is often performed in an ad …

Applying PBT to testing sensor networks has allowed us to test relatively complex software
and uncover subtle and hard-to-find bugs. We evaluate targeted PBT by comparing it to its …

It is important to verify an implemented software with respect to the predefined specifications.
Wrong software implementations can lead to great loss like, loss of money and time. In case …

Καθώς οι υπηρεσίες διαδικτύου (Web Services) αρχίζουν και αποτελούν ολοένα και βα-
σικότερα τμήματα μοντέρνων διαδικτυακών συστημάτων λογισμικού, η ύπαρξη αυτόματων …