• Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 117-124 https://doi.org/10.1007/978-3-030-78428-7_10 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111374940&origin=inward&txGid=a8e8c27dc616676de1ff54b83a071155
• Aspect-oriented testing of a rehabilitation systemSarna, Külli; Vain, JüriVALID 2014 : the Sixth International Conference on Advances in System Testing and Validation Lifecycle : October 12-16, 2014, Nice, France2014 / p. 73-78 : ill
• Automatic distribution of local testers for testing distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 297-310 : ill https://doi.org/10.3233/978-1-61499-714-6-297 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030703059&origin=inward&txGid=e2b8d23c3197df5a63dc644219db590d https://www.webofscience.com/wos/woscc/full-record/WOS:000390305200022
• Automatic GUI model generation : state of the artKull, AndresISSREW 2012 : 23rd IEEE International Symposium on Software Reliability Engineering Supplemental Proceedings : 27-30 November 2012, Dallas, Texas, USA2012 / p. 207-212 https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6405443
• DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est https://www.scopus.com/sourceid/11500153303 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030699053&origin=inward&txGid=749edb5e9019b0a53f7fcbbb58d68a84 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000396591200009
• Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 https://www.scopus.com/sourceid/21100828949 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054186046&origin=inward&txGid=16bdfce30ffe73899ab3f2f9743b2fac
• Exploiting aspects in model-based testingSarna, Külli; Vain, JüriFOAL'12 : proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, German2012 / p. 45-47 : ill https://www.researchgate.net/publication/254007794_Exploiting_aspects_in_model-based_testing
• Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052887148&origin=inward&txGid=aa3dc2bf8f0a8dbd8079ba598c58922c
• Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063345140&origin=inward&txGid=287ac5240cb295361509386765b31b38 https://www.webofscience.com/wos/woscc/full-record/WOS:000625446400006
• Model-based testing of autonomous robots using TestItKanter, Gert; Vain, JüriJournal of reliable intelligent environments2020 / p. 15-30 https://doi.org/10.1007/s40860-019-00095-w https://www.scopus.com/sourceid/21100901156 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077558124&origin=inward&txGid=f8938b9d6967d877ea6245670ea2f064
• Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979053273&origin=inward&txGid=80048c8db5e1376a7429e2600ab98122 https://www.webofscience.com/wos/woscc/full-record/WOS:000389806000019
• Multi-fragment Markov model guided online test generation for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, JaanICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 20172017 / p. 594-607 : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267 http://ceur-ws.org/Vol-1844/10000594.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020540459&origin=inward&txGid=822a1c19d42faa05854df1b2bd3d60ba
• On mutating UPPAAL timed automata to assess robustness of web servicesSiavashi, Faezeh; Truscan, Dragos; Vain, JüriProceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA2016 / p. 15-26 : ill http://dx.doi.org/10.5220/0005970800150026
• Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill https://doi.org/10.3233/978-1-61499-458-9-289 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-84911488779&origin=inward&txGid=f7cdcf5c12732d1f0bdf01829c35e145 https://www.webofscience.com/wos/woscc/full-record/WOS:000362357700021
• Provably correct test generation for online testing of timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 337-348 : ill
• Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134332370&origin=inward&txGid=a1a029faf39f6ca02b9ba656440c0e90
• Temporal multi-view contracts help developing efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / p. 710-737 https://doi.org/10.22364/bjmc.2022.10.4.07 https://www.scopus.com/sourceid/21100983350 https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008
• Test scenario generator learning for model-based testing of mobile robotsKanter, Gert; Liibert, Marti IngmarSystem assurances : modeling and management2022 / p. 67-84 https://doi.org/10.1016/B978-0-323-90240-3.00005-9
• Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 https://www.scopus.com/sourceid/21100820054 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
• Tester partitioning and synchronization algorithm for testing real-time distributed systemsPal, Deepak; Vain, JüriProceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 20162016 / p. 13-16 : ill http://jrwrtc2016.gforge.inria.fr/
• TestIt: an open-source scalable long-term autonomy testing toolkit for ROSKanter, Gert; Vain, JüriConference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 20192019 / art. 8770011, p. 45-50 http://dx.doi.org/10.1109/DESSERT.2019.8770011