print

Temporal multi-view contracts help developing efficient test models

author
Guin, Jishu
Vain, Jüri
Tsiopoulos, Leonidas
Valdek, Gert
statement of authorship
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
source
Baltic journal of modern computing
publisher
University of Latvia
journal volume number month
vol. 10, 4
year of publication
2022
pages
p. 710-737
url
https://doi.org/10.22364/bjmc.2022.10.4.07
subject term
mudeliteooria
rakendusprogrammid
arvutamine
mudelid
keyword
model-checking
model-based testing
contract-based design
ISSN
2255-8942
2255-8950
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
category (sub)
Computer science. General computer science
kvartiil
Q3
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory
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