print

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
category (sub)
Computer science. Computer science (miscellaneous)
Computer science. Information systems
Computer science. Computer networks and communications
Computer science. Software
Computer science. Hardware and architecture
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Private law
High-assurance software laboratory
Halling, E., Vain, J., Boyarchuk, A., Illiashenko, O. Test scenario specification language for model-based testing // International Journal of Computing (2019) vol. 18, 4, p. 408-421 : ill. http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611