Model-based integration testing of ROS packages: A mobile robot case study J Ernits, E Halling, G Kanter, J Vain 2015 European Conference on Mobile Robots (ECMR), 1-7, 2015 | 13 | 2015 |
Model-based testing of autonomous robots using TestIt G Kanter, J Vain Journal of Reliable Intelligent Environments 6 (1), 15-30, 2020 | 11 | 2020 |
Model-based testing of real-time distributed systems J Vain, E Halling, G Kanter, A Anier, D Pal International Baltic Conference on Databases and Information Systems, 272-286, 2016 | 8 | 2016 |
Provably correct configuration management of precision feeding in agriculture4. 0 G Kanter, J Vain, S Srinivasan, S Ramaswamy 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC …, 2019 | 7 | 2019 |
Automatic Distribution of Local Testers for Testing Distributed Systems. J Vain, E Halling, G Kanter, A Anier, D Pal DB&IS (Selected Papers), 297-310, 2016 | 7 | 2016 |
TestIt: an open-source scalable long-term autonomy testing toolkit for ROS G Kanter, J Vain 2019 10th International Conference on Dependable Systems, Services and …, 2019 | 5 | 2019 |
Model based testing of distributed time critical systems J Vain, G Kanter, S Srinivasan 2017 6th International Conference on Reliability, Infocom Technologies and …, 2017 | 2 | 2017 |
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata J Vain, L Tsiopoulos, G Kanter International Conference on Model and Data Engineering, 117-124, 2021 | 1 | 2021 |
Provably correct aspect-oriented modeling with UPPAAL timed automata J Vain, L Tsiopoulos, G Kanter System Assurances, 447-476, 2022 | | 2022 |
Test scenario generator learning for model-based testing of mobile robots G Kanter, MI Liibert System Assurances, 67-84, 2022 | | 2022 |
Learning Timed Automata from Interaction Traces J Vain, G Kanter, A Anier IFAC-PapersOnLine 52 (19), 205-210, 2019 | | 2019 |
High-level language for IoT and Robotics G Kanter, J Vain, E Fazeldehkordi, O Owe | | |
Model-Based Testing Framework for Autonomous Multi-Robot Systems G KANTER | | |