Provably Correct Test Development for Timed Systems. - Jüri Vain; Aivo Anier; Evelin Halling (DB&IS, 2014)

Model-based integration testing of ROS packages: A mobile robot case study. - Juhan P. Ernits; Evelin Halling; Gert Kanter; Jüri Vain (ECMR, 2015)

Model-Based Testing of Real-Time Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS, 2016)

Automatic Distribution of Local Testers for Testing Distributed Systems. - Jüri Vain; Evelin Halling; Gert Kanter; Aivo Anier; Deepak Pal (DB&IS (Selected Papers), 2016)

Test Scenario Specification Language for Model-based Testing. - Evelin Halling; Jüri Vain; Artem Boyarchuk; Oleg Illiashenko (Int. J. Comput., 2019)