AMARETTO@MODELSWARD

Keyphrases

Publications

2016

Gayane Sedrakyan, Monique Snoeck
Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture. AMARETTO@MODELSWARD (2016)
Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
Testing Multimodal Interactive Applications by Means of the TTT Language. AMARETTO@MODELSWARD (2016)
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Exploiting Vehicles' Reputation to Mitigate DoS Attack. AMARETTO@MODELSWARD (2016)
Venkatapathy Subramanian, Antonia Bertolino
Monitoring of Learning Path for Business Process Models. AMARETTO@MODELSWARD (2016)
Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova
TASSA: A Testing as a Service Framework for Web Service Compositions. AMARETTO@MODELSWARD (2016)
Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD (2016)
Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. AMARETTO@MODELSWARD (2016)
Alessandro Fantechi, Stefano Pepi
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. AMARETTO@MODELSWARD (2016)
Cesare Bartolini
Mutating OWLs: Semantic Mutation Testing for Ontologies. AMARETTO@MODELSWARD (2016)
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. AMARETTO@MODELSWARD (2016)