Le Goues, C (Reprint Author), Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Le Goues, Claire, Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Pradel, Michael, Univ Stuttgart, Stuttgart, Germany.
Roychoudhury, Abhik, Natl Univ Singapore, Singapore, Singapore.