Monte Carlo Tree Search for Finding Costly Paths in Programs.

Kasper Se Luckow, Corina S. Pasareanu, Willem Visser

Browse the full SEFM paper archive.