workspace-testing2023

Eclipse workspace of the Software Testing and Verification academic course

exe1: program-based testing, Codecover
exe2: program-based verification, JML
ASMETA (Abstract State Machine Metamodel): Model-verification