Evelin Halling

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Deadlock Detection

Integration Testing

Distributed Systems

Software Environment

Top Venues

DB&IS (Selected Papers)

Int. J. Comput.

Publications

Evelin Halling, Jüri Vain, Artem Boyarchuk, Oleg Illiashenko
Test Scenario Specification Language for Model-based Testing. Int. J. Comput. 18 (2019)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Automatic Distribution of Local Testers for Testing Distributed Systems. DB&IS (Selected Papers) (2016)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Model-Based Testing of Real-Time Distributed Systems. DB&IS (2016)
Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain
Model-based integration testing of ROS packages: A mobile robot case study. ECMR (2015)
Jüri Vain, Aivo Anier, Evelin Halling
Provably Correct Test Development for Timed Systems. DB&IS (2014)