täiskirje prindi

Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems

autor
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
ilmumisaasta
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
ISSN
2184-4348
ISBN
978-989-758-729-0
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
Model-Based Testing
Provably Correct Test Development
Test Adapters
Assume/Guarantee Contracts
Model-Checking
Uppaal Timed Automata
Code Generation
Guin, J., Vain, J., Tsiopoulos, L. Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems // MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025. : SciTePress, 2025. p. 297–304. http://doi.org/10.5220/0013322100003896 https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1