Best Paper Award
The best paper award of SEFM-2016 was granted to the paper:
Program Generation using Simulated Annealing and Model Checking
The recognition award was granted to the paper:
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution