Sciweavers

42 search results - page 1 / 9
» Erlang testing and tools survey
Sort
View
ERLANG
2008
ACM
13 years 6 months ago
Erlang testing and tools survey
Tamás Nagy, Anikó Nagyné V&ia...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
13 years 11 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
TAICPART
2010
IEEE
126views Education» more  TAICPART 2010»
13 years 3 months ago
Improved Testing through Refactoring: Experience from the ProTest Project
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
Huiqing Li, Simon J. Thompson
ERLANG
2004
ACM
13 years 10 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
WOA
2003
13 years 6 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro