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]
@inproceedings{BombardaBG21,
title = {Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller},
author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini},
year = {2021},
doi = {10.1007/978-3-031-04673-5_5},
url = {https://doi.org/10.1007/978-3-031-04673-5_5},
researchr = {https://researchr.org/publication/BombardaBG21},
cites = {0},
citedby = {0},
pages = {65-72},
booktitle = {Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings},
editor = {David Clark and Héctor D. Menéndez 0001 and Ana Rosa Cavalli},
volume = {13045},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-04673-5},
}