Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
model-based testing (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
21
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(21)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
artikkel kogumikus
2
artikkel kogumikus
Aspect-oriented testing of a rehabilitation system
Sarna, Külli
;
Vain, Jüri
VALID 2014 : the Sixth International Conference on Advances in System Testing and Validation Lifecycle : October 12-16, 2014, Nice, France
2014
/
p. 73-78 : ill
artikkel kogumikus
3
artikkel kogumikus
Automatic distribution of local testers for testing distributed systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 2016
2016
/
p. 297-310 : ill
http://dx.doi.org/10.3233/978-1-61499-714-6-297
artikkel kogumikus
4
artikkel kogumikus
Automatic GUI model generation : state of the art
Kull, Andres
ISSREW 2012 : 23rd IEEE International Symposium on Software Reliability Engineering Supplemental Proceedings : 27-30 November 2012, Dallas, Texas, USA
2012
/
p. 207-212
artikkel kogumikus
5
artikkel ajakirjas
DTRON : a tool for distributed model-based testing of time critical applications
Anier, Aivo
;
Vain, Jüri
;
Tsiopoulos, Leonidas
Proceedings of the Estonian Academy of Sciences
2017
/
p. 75-88 : ill
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
artikkel ajakirjas
6
artikkel kogumikus
Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
;
Nõmm, Sven
Green IT Engineering: Social, Business and Industrial Applications
2019
/
p. 273-297
https://doi.org/10.1007/978-3-030-00253-4_12
artikkel kogumikus
7
artikkel kogumikus
Exploiting aspects in model-based testing
Sarna, Külli
;
Vain, Jüri
FOAL'12 : proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, German
2012
/
p. 45-47 : ill
artikkel kogumikus
8
artikkel kogumikus
Model based approach for testing: distributed real-time systems augmented with online monitors
Pal, Deepak
;
Vain, Jüri
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
2018
/
p. 142-157
https://doi.org/10.1007/978-3-319-97571-9_13
artikkel kogumikus
9
artikkel kogumikus
Model based Test framework for communications-critical internet of things systems
Pal, Deepak
;
Vain, Jüri
Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018
2019
/
p. 79-94
https://www.ester.ee/record=b5203991*est
https://doi.org/10.3233/978-1-61499-941-6-79
artikkel kogumikus
10
artikkel ajakirjas
Model-based testing of autonomous robots using TestIt
Kanter, Gert
;
Vain, Jüri
Journal of reliable intelligent environments
2020
/
p. 15-30
https://doi.org/10.1007/s40860-019-00095-w
artikkel ajakirjas
11
artikkel kogumikus
Model-based testing of real-time distributed systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
p. 272-286 : ill
http://dx.doi.org/10.1007/978-3-319-40180-5_19
artikkel kogumikus
12
artikkel kogumikus
Multi-fragment Markov model guided online test generation for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
ICTERI 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, 2017
2017
/
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
artikkel kogumikus
13
artikkel kogumikus
On mutating UPPAAL timed automata to assess robustness of web services
Siavashi, Faezeh
;
Truscan, Dragos
;
Vain, Jüri
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA
2016
/
p. 15-26 : ill
http://dx.doi.org/10.5220/0005970800150026
artikkel kogumikus
14
artikkel kogumikus
Provably correct test development for timed systems
Vain, Jüri
;
Anier, Aivo
;
Halling, Evelin
Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014
2014
/
p. 289-302 : ill
artikkel kogumikus
15
artikkel kogumikus
Provably correct test generation for online testing of timed systems
Vain, Jüri
;
Anier, Aivo
;
Halling, Evelin
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
2014
/
p. 337-348 : ill
artikkel kogumikus
16
artikkel kogumikus
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
artikkel kogumikus
17
artikkel ajakirjas
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
artikkel ajakirjas
18
artikkel kogumikus
Test scenario generator learning for model-based testing of mobile robots
Kanter, Gert
;
Liibert, Marti Ingmar
System assurances : Modeling and management
2022
/
p. 67-84
https://doi.org/10.1016/B978-0-323-90240-3.00005-9
artikkel kogumikus
19
artikkel ajakirjas
Test scenario specification language for model-based testing
Halling, Evelin
;
Vain, Jüri
;
Boyarchuk, Artem
;
Illiashenko, Oleg
International Journal of Computing
2019
/
p. 408-421 : ill
http://www.computingonline.net/computing/article/view/1611
artikkel ajakirjas
20
artikkel kogumikus
Tester partitioning and synchronization algorithm for testing real-time distributed systems
Pal, Deepak
;
Vain, Jüri
Proceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 2016
2016
/
p. 13-16 : ill
http://jrwrtc2016.gforge.inria.fr/
artikkel kogumikus
21
artikkel kogumikus
TestIt: an open-source scalable long-term autonomy testing toolkit for ROS
Kanter, Gert
;
Vain, Jüri
Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 2019
2019
/
art. 8770011, p. 45-50
http://dx.doi.org/10.1109/DESSERT.2019.8770011
artikkel kogumikus
Kirjeid leitud 21, kuvan
1 - 21
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT