Sciweavers

171
Voted
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 15 days 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