Simone Vuotto. Automata-Based Generation of Test Cases for Reactive Systems. In Luca Pulina, editor, Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems - From concepts to implementation", Alghero, Italy, September 23, 2019. Volume 2457 of CEUR Workshop Proceedings, pages 96-106, CEUR-WS.org, 2019. [doi]
Abstract is missing.