Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. In David Clark, Héctor D. Menéndez 0001, Ana Rosa Cavalli, editors, Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings. Volume 13045 of Lecture Notes in Computer Science, pages 65-72, Springer, 2021. [doi]
Abstract is missing.