Using a High-Level Test Generation Expert System for Testing In-Car Networks. - Adir, Allon; Goryachev, Alex; Greenberg, Lev; Salman, Tamer (DAC: Annual ACM/IEEE Design Automation Conference, 2014)