record conf/icse/HanveyC15

maintained by Schloss Dagstuhl LZI at University of Trier