Browse wiki
From CERES
| Model-Based Testing of Actors |
| Level | Master + |
|---|---|
| OneLineSummary | This project aims at building the basic tools for using Actor-based models in order to perform model-based testing of asynchronous systems. + |
| StudentProjectStatus | Open + |
| Supervisors | Mohammad Reza Mousavi + , Marjan Sirjani (Reykjavik University) + |
| Title | Model-Based Testing of Actors + |
| Categories | StudentProject + |
| Modification dateThis property is a special property in this wiki. | 23 June 2014 09:15:59 + |
| hide properties that link here |
| No properties link to this page. |
