]> 2026-04-04T13:48:13+02:00 Model-Based Testing of Zero-Copy Protocols 0 en Master Challenges in Model-Based Testing of Zero-Copy Protocols Good programming skills, preferably the course on Testing and Verification of Embedded Systems complete, or similar. 1. Jan Tretmans. Model-based testing and some steps towards test-based modelling. In Marco Bernardo and Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems, LNCS 6659, pages 297–326. Springer, 2011. 2. Wojciech Mostowski, Thomas Arts, and John Hughes. Modelling of Autosar Libraries for Large Scale Testing. Proceedings, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS), EPTCS 244, 2017. 3. ICEORYX home page: https://iceoryx.io/ 4. ALEX.AI home page: https://www.apex.ai/ Open 6 months, starting as soon as possible Model-Based Testing of Zero-Copy Protocols 2022-10-06T12:02:49Z 2459859.001956 Model-Based Testing of Zero-Copy Protocols 0 [2,"smw-datavalue-property-restricted-annotation-use","Keywords"] Model-Based Testing of Zero-Copy Protocols# ERRd9c33d5ac8a89308063e13c4b212fa7c