Aspect-oriented Model-based testing with UPPAAL timed automata
author
Vain, Jüri
Tsiopoulos, Leonidas
Kanter, Gert
statement of authorship
Jüri Vain, Leonidas Tsiopoulos & Gert Kanter
source
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
location of publication
Cham
publisher
Springer Nature
year of publication
2021
pages
p. 117-124
series
Lecture notes in computer science ; 12732
conference name, date
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021
conference location
Virtual Conference
url
https://doi.org/10.1007/978-3-030-78428-7_10
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
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
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory