Gert Kanter

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Integration Testing

Provably Correct

Configuration Management

Top Venues

J. Reliab. Intell. Environ.

Publications

Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. MEDI (2021)
Gert Kanter, Jüri Vain
Model-based testing of autonomous robots using TestIt. J. Reliab. Intell. Environ. 6 (1) (2020)
Gert Kanter, Juri Vain, Seshadhri Srinivasan, Srini Ramaswamy
Provably Correct Configuration Management of Precision Feeding in Agriculture4.0. SMC (2019)
Gert Kanter, Jüri Vain
TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS. DESSERT (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)