Model Based JUnit Testing
Maxim L. Gromov, Svetlana A. Prokopenko, Natalia V. Shabaldina, Andrey V. Laputenko · 2019
In this paper, tools that automate tests conversion are presented. Tests for Java implementations are derived based on formal models. To apply these tests to Java implementations tests should be converted into an appropriate form for the Java programs. In this paper, JUnit is used. The experiments confirm the feasibility of developed tools.