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

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

märksõna

mudeliteooria

rakendusprogrammid

arvutamine

mudelid

võtmesõna

model-checking

model-based testing

contract-based design

ISSN

2255-8942

2255-8950

Open Access

teaduspublikatsioon

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Journal metrics at WOS

Article at WOS

kategooria (üld)

Arvutiteadus

kategooria (alam)

Arvutiteadus. Üldine arvutiteadus

kvartiil

TTÜ struktuuriüksus

tarkvarateaduse instituut

keel

inglise

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