asmeta

Progettini Info III A

EvoAvalla is an automated tool that uses evosuite to generate test scenarios in Avalla language for an Abstract State Machine (ASM).

4 programming Projects: Cyclone, Asmeta, Cpp and Scala

Questa repository contiene tutti i progetti relativi al modulo di programmazione del corso di Informatica III.

Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.

University Programming Course Projects: Cyclone, C++, Scala & ASM

Eclipse workspace of the Software Testing and Verification academic course

University Testing Course: Tesing a Flutter Application

Exam project of the university course: Testing and Software Verification

Converts java scenarios into the Avalla language.

Progetto realizzato per il corso "Informatica III - modulo Programmazione" che si pone l'obiettivo di utilizzare i principali costrutti di Asmeta.

Little shop with Asmeta framework for university project.