Dafny: Statically Verifying Functional Correctness. - Rachel Gauci (CoRR, 2014)

Smelling out Code Clones: Clone Detection Tool Evaluation and Corresponding Challenges. - Rachel Gauci (CoRR, 2015)