Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
author
Guin, Jishu
Vain, Jüri
Tsiopoulos, Leonidas
statement of authorship
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos
source
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
publisher
SciTePress
year of publication
2025
pages
p. 297–304
conference name, date
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, 26-28 February, 2025
conference location
Porto, Portugal
url
http://doi.org/10.5220/0013322100003896
https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1
subject term
testimine
adapterid
koodid
verifikatsioon
keyword
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
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise