7 search results - page 2 / 2 » Testing Erlang Refactorings with QuickCheck |
ERLANG
2008
ACM
13 years 8 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
14 years 1 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 ...