Here are
12 public repositories
matching this topic...
Exam project of the university course: Testing and Software Verification
Updated
Oct 12, 2023
Java
University Programming Course Projects: Cyclone, C++, Scala & ASM
EvoAvalla is an automated tool that uses evosuite to generate test scenarios in Avalla language for an Abstract State Machine (ASM).
Updated
Sep 19, 2024
Assembly
University Testing Course: Tesing a Flutter Application
4 programming Projects: Cyclone, Asmeta, Cpp and Scala
Updated
Apr 10, 2020
Assembly
Questa repository contiene tutti i progetti relativi al modulo di programmazione del corso di Informatica III.
Little shop with Asmeta framework for university project.
Updated
Apr 29, 2021
Assembly
Progetto realizzato per il corso "Informatica III - modulo Programmazione" che si pone l'obiettivo di utilizzare i principali costrutti di Asmeta.
Updated
Sep 28, 2021
Assembly
Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.
Updated
Sep 18, 2024
Java
Eclipse workspace of the Software Testing and Verification academic course
Updated
Oct 12, 2023
Java
Converts java scenarios into the Avalla language.
Updated
Sep 19, 2024
Java
Improve this page
Add a description, image, and links to the
asmeta
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
asmeta
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.