Formal Methods and Testing

InhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...

Testing of Communicating Systems

InhaltsangabeImplementation of an Open Source Toolset for CCM Components and Systems Testing.- A ...

Software Engineering and Formal Methods

InhaltsangabeVerifying MARTE CCSL Mode Behaviors Using UPPAAL.- A Transformation Approach for Mul...

Testing Software and Systems

Theoretical Aspects of Computing - ICTAC 2019

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...