UMLChecker : a library that allows JUnit test cases of UML specifications

Arnaud Lanoix · HAL (Le Centre pour la Communication Scientifique Directe) · 2025

UMLChecker is a library that allows to write high-level Junit Test cases to check UML specifications vs. Kotlin (or Java) implementations. Furthermore, it proposes to automatically generate Test cases from UML class diagrams written with PlantUML.

Read the paper · More papers on PaperTik