Bug detection in embedded environments by fuzzing and symbolic execution. - Juraj Vijtiuk; Luka Perkov; Antonio Krog (MIPRO, 2020)