Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko: 1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016