Test scenario specification language for model-based testing
author
Halling, Evelin
Vain, Jüri
Boyarchuk, Artem
Illiashenko, Oleg
statement of authorship
Evelin Halling, Jüri Vain, Artem Boyarchuk, Oleg Illiashenko
source
International Journal of Computing
publisher
Research Institute of Intelligent Computer Systems
journal volume number month
vol. 18, 4
year of publication
2019
pages
p. 408-421 : ill
url
http://www.computingonline.net/computing/article/view/1611
https://doi.org/10.47839/ijc.18.4.1611
subject term
testimine
mudelipõhine tarkvaraarendus
keyword
model-based testing
test scenario description language
timed automata
verification by model checking
conformance testing
ISSN
1727-6209
notes
Bibliogr.: 22 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Computer science (miscellaneous)
en
Arvutiteadus. Arvutiteadus (mitmesugused)
et
Computer science. Information systems
en
Arvutiteadus. Infosüsteemid
et
Computer science. Computer networks and communications
en
Arvutiteadus. Arvutivõrgud ja side
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
Computer science. Hardware and architecture
en
Arvutiteadus. Riistvara ja arhitektuur
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Private law
High-assurance software laboratory