Guin, J., Vain, J., Tsiopoulos, L., Valdek, G.

täiskirje prindi

Temporal multi-view contracts help developing efficient test models

autor

Guin, Jishu

Vain, Jüri

Tsiopoulos, Leonidas

Valdek, Gert

vastutusandmed

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

allikas

Baltic journal of modern computing

kirjastus/väljaandja

University of Latvia

ajakirja aastakäik number kuu

vol. 10, 4

ilmumisaasta

2022

leheküljed

p. 710-737

leitav

https://doi.org/10.22364/bjmc.2022.10.4.07

ISSN

2255-8942

2255-8950

Open Access

teaduspublikatsioon

keel

inglise

Märksõnad ja võtmesõnad

märksõna

mudeliteooria

rakendusprogrammid

arvutamine

mudelid

võtmesõna

model-checking

model-based testing

contract-based design

Teaduspublikatsiooni meetrika

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Journal metrics at WOS

Article at WOS

kvartiil

Kategooriad

kategooria (üld)

Arvutiteadus

kategooria (alam)

Arvutiteadus. Üldine arvutiteadus

TalTechi üksused

TTÜ struktuuriüksus

tarkvarateaduse instituut

Uurimisrühm

Küberkriminalistika ja küberjulgeoleku keskus

Merenduse küberjulgeoleku keskus

Tugevalt tagatud tarkvara laboratoorium

Guin, J., Vain, J., Tsiopoulos, L., Valdek, G. Temporal multi-view contracts help developing efficient test models // Baltic journal of modern computing (2022) vol. 10, 4, p. 710-737. https://doi.org/10.22364/bjmc.2022.10.4.07