Test scenario specification language for model-based testing

Halling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, Oleg (2019). Test scenario specification language for model-based testing. International Journal of Computing, 18 (4), 408−421.
ajakirjaartikkel
Halling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, Oleg
  • Inglise
International Journal of Computing
1727-6209
18
4
2019
408421
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
SCOPUS

Viited terviktekstile

Lisainfo

model-based testing; test scenario description language; timed automata; verification by model checking; conformance testing
Scopus