Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
autor
Guin, Jishu
Vain, Jüri
Tsiopoulos, Leonidas
vastutusandmed
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos
allikas
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
kirjastus/väljaandja
SciTePress
ilmumisaasta
2025
leheküljed
p. 297–304
konverentsi nimetus, aeg
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, 26-28 February, 2025
konverentsi toimumispaik
Porto, Portugal
leitav
http://doi.org/10.5220/0013322100003896
https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1
märksõna
testimine
adapterid
koodid
verifikatsioon
võtmesõna
Model-Based Testing
Provably Correct Test Development
Test Adapters
Assume/Guarantee Contracts
Model-Checking
Uppaal Timed Automata
Code Generation
ISSN
2184-4348
ISBN
978-989-758-729-0
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise