An automatic approach to integration testing for critical automotive software. - Jacopo Sini; A. Mugoni; Massimo Violante; A. Quario; C. Argiri; F. Fusetti (DTIS, 2018)