Quickchecking refactoring tools. - Dániel Drienyovszky; Dániel Horpácsi; Simon J. Thompson (Erlang Workshop, 2010)