Login / Signup
Evelin Halling
ORCID
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 3
Top Topics
Integration Testing
Office Environment
Mobile Robot
Distributed Systems
Top Venues
DB&IS
ECMR
DB&IS (Selected Papers)
</>
Publications
</>
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)