Author:
Heinrich Robert,Bousse Erwan,Koch Sandro,Rensink Arend,Riccobene Elvinia,Ratiu Daniel,Sirjani Marjan
Publisher
Springer International Publishing
Reference53 articles.
1. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. “CoMA: Conformance Monitoring of Java Programs by Abstract State Machines”. In: Runtime Verification—Second International Conference. 2011, pp. 223–238. https://doi.org/10.1007/978-3-642-29860-8_17.
2. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. “Using SMT for dealing with nondeterminism in ASM-based runtime verification”. In: Electronic Communications of the EASST 70 (2014), pp. 1–15. https://doi.org/10.14279/tuj.eceasst.70.970.
3. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. “SMT-Based Automatic Proof of ASM Model Refinement”. In: Software Engineering and Formal Methods - 14th International Conference. 2016, pp. 253–269. https://doi.org/10.1007/978-3-319-41591-8_17.
4. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. “Closing the gap between the specification and the implementation: the ASMETA way”. In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. 2018, pp. 242–263.
5. Paolo Arcaini and Elvinia Riccobene. “Automatic Refinement of ASM Abstract Test Cases”. In: IEEE International Conference on Software Testing, Verification and Validation Workshops. 2019, pp. 1–10. https://doi.org/10.1109/ICSTW.2019.00025.