Guiding Symbolic Execution with A-Star.

Theo De Castro Pinto, Antoine Rollet, Grgoire Sutre, Ireneusz Tobor

Browse the full SEFM paper archive.