Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Antonello Calabrò, Francesca Lonetti, Eda Marchetti, editors, 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.

Conference: modelsward2016

Abstract is missing.

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time SystemsAlessandro Fantechi, Stefano Pepi. 5-13 [doi]

Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation ArchitectureGayane Sedrakyan, Monique Snoeck. 14-22 [doi]

Testing Multimodal Interactive Applications by Means of the TTT LanguageLe Thanh Long, Nguyen Thanh Binh, Ioannis Parissis. 23-32 [doi]

TASSA: A Testing as a Service Framework for Web Service CompositionsDessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova. 33-42 [doi]

Mutating OWLs: Semantic Mutation Testing for OntologiesCesare Bartolini. 43-53 [doi]

Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal LegislationIsabella Biscoglio, Giuseppe Lami, Gianluca Trentanni. 54-61 [doi]

Monitoring of Learning Path for Business Process ModelsVenkatapathy Subramanian, Antonia Bertolino. 62-72 [doi]

Exploiting Vehicles' Reputation to Mitigate DoS AttackGianpiero Costantino, Fabio Martinelli, Ilaria Matteucci. 75-82 [doi]

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMsNatalia Kushik, Nina Yevtushenko, Hüsnü Yenigün. 83-90 [doi]

runs on WebDSL