research
∙
08/14/2023
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages
Testing pushdown reactive systems is deemed important to guarantee a pre...
share
research
∙
07/23/2021
Testing Pushdown Systems
Testing on reactive systems is a well-known laborious activity on softwa...
research
∙
11/01/2020
A Model-Based Testing Tool for Asynchronous Reactive Systems
Reactive systems are characterized by the interaction with the environme...
research
∙
05/22/2019
Automatically Checking Conformance on Asynchronous Reactive Systems
Software testing is an important issue in software development process t...
research
∙
02/07/2019
Complete Test Suites for Input/Output Systems
Model based testing is a well-established approach to verify I/O labeled...
research
∙
09/04/2018