OneLineSummary This project aims at building the basic tools for using Actor-based models in order to perform model-based testing of asynchronous systems.

From CERES
Jump to: navigation, search
A list of all pages that have property "OneLineSummary" with value "This project aims at building the basic tools for using Actor-based models in order to perform model-based testing of asynchronous systems."

 

Property:     Value: