7 search results - page 2 / 2 » Testing Erlang Refactorings with QuickCheck |
ERLANG
2008
ACM
13 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
PPDP
2009
Springer
13 years 11 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...