Huiqing Li Simon Thompson Testing Erlang Refactorings with QuickCheck. 19-36 2007 IFL http://dx.doi.org/10.1007/978-3-540-85373-2_2 conf/ifl/2007 db/conf/ifl/ifl2007.html#LiT07