Projects

.js-id-Finished

Model Execution based on fUML

In model-driven development models are considered as the key artifacts and, as a result, the success of the whole development process relies on these models and their quality. Consequently, there is an urgent need for adequate methods to ensure high quality of models.

Read more

Publications

(2015). Testing Functional Requirements in UML Activity Diagrams.

Talk: 9th International Conference on Tests and Proofs (TAP´15), L’Aquila; 07-22-2015 - 07-24-2015; in: “Proceedings of the 9th International Conference on Tests and Proofs (TAP´15)", Springer, volume 9154 of Lecture Notes in Computer Science (2015), ISBN: 978-3-319-21214-2; 173 - 190.

PDF DB

(2013). A Framework for Testing UML Activities Based on fUML.

Talk: 10th International Workshop on Model Driven Engineering, Verification and Validation, Miami; 10-01-2013; in: “Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR, Vol-1069 (2013), ISSN: 1613-0073; 1 - 10.

PDF DB