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
https://www.scopus.com/sourceid/21100983350
https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Centre for digital forensics and cyber security
Centre for maritime cybersecurity
High-assurance software laboratory