Progettini Info III A

University Testing Course: Tesing a Flutter Application

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

University Programming Course Projects: Cyclone, C++, Scala & 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.

Little shop with Asmeta framework for university project.

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

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

Eclipse workspace of the Software Testing and Verification academic course

Exam project of the university course: Testing and Software Verification

Converts java scenarios into the Avalla language.