Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems.

Jishu Guin, Jri Vain, Leonidas Tsiopoulos

Browse the full MODELSWARD paper archive.