default search action
AMARETTO@MODELSWARD 2016: Rome, Italy
- Antonello Calabrò, Francesca Lonetti, Eda Marchetti:
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. SciTePress 2016, ISBN 978-989-758-166-3
Full Papers
- Alessandro Fantechi, Stefano Pepi:
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. 5-13 - 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. 14-22 - Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis:
Testing Multimodal Interactive Applications by Means of the TTT Language. 23-32 - Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova:
TASSA: A Testing as a Service Framework for Web Service Compositions. 33-42 - Cesare Bartolini:
Mutating OWLs: Semantic Mutation Testing for Ontologies. 43-53 - Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni:
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. 54-61 - Venkatapathy Subramanian, Antonia Bertolino:
Monitoring of Learning Path for Business Process Models. 62-72
Short Papers
- Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci:
Exploiting Vehicles' Reputation to Mitigate DoS Attack. 75-82 - Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün:
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. 83-90
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.