Aspect-oriented Model-based testing with UPPAAL timed automata
autor
Vain, Jüri
Tsiopoulos, Leonidas
Kanter, Gert
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos & Gert Kanter
allikas
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2021
leheküljed
p. 117-124
seeria-sari
Lecture notes in computer science ; 12732
konverentsi nimetus, aeg
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021
konverentsi toimumispaik
Virtual Conference
leitav
https://doi.org/10.1007/978-3-030-78428-7_10
märksõna
testimine
seire
terviseprogrammid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85111374940&origin=inward&txGid=a8e8c27dc616676de1ff54b83a071155
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
model-based testing
aspect-oriented modeling
UPPAAL timed automata
offline test generation
test coverage
ISSN
0302-9743
1611-3349
ISBN
978-3-030-78427-0
978-3-030-78428-7
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Merenduse küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium