270 search results - page 2 / 54 » Automated test generation for industrial Erlang applications |
ERLANG
2006
ACM
13 years 10 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
ERLANG
2004
ACM
13 years 10 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
AMOST
2007
ACM
13 years 8 months ago
2007
ACM
ERLANG
2004
ACM
13 years 8 months ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...