Guiding Symbolic Execution with A-Star. - Theo De Castro Pinto; Antoine Rollet; Grégoire Sutre; Ireneusz Tobor (SEFM, 2023)