Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
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
year of publication
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
ISSN
2184-4348
ISBN
978-989-758-729-0
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
Provably Correct Test Development
Test Adapters
Assume/Guarantee Contracts
classifier
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.