Sciweavers

IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 5 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson