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
https://www.scopus.com/sourceid/21100820054
https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Private law
High-assurance software laboratory