record conf/issta/GyoriSHM15

maintained by Schloss Dagstuhl LZI at University of Trier