Best Paper Awards

The Best Paper Award goes to …

Visser, W. & Pasareanu, C.  Probabilistic Programming for Java using Symbolic Execution and Model Counting