Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor: Guiding Symbolic Execution with A-Star. SEFM 2023: 47-65