Information Technology Reference
In-Depth Information
development of a new tool, PULSE, which is now implemented as part of the
commercial QuickCheck distribution. PULSE has been successfully used to find
race conditions in software provided by an industrial partner.
In addition we have developed a model checker, McErlang, which was released
as open source under the agreed project license that supports a very large frag-
ment of the Erlang language to ease the task of constructing a verifiable model
from an Erlang program.
References
[ACH08] Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with Quviq
QuickCheck. In: Teoh and Horvath DBLP:conf/erlang/2008, pp. 1-8
(2008)
[ACS04] Arts, T., Claessen, K., Svensson, H.: Semi-formal Development of a Fault-
Tolerant Leader Election Protocol in Erlang. In: Grabowski, J., Nielsen,
B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 140-154. Springer, Heidelberg
(2005)
[AF02] Arts, T., Fredlund, L.-A.: Trace analysis of Erlang programs. In: Page,
R.L., Hughes, J. (eds.) Erlang Workshop, pp. 16-23. ACM, New York
(2002)
[AHJW06] Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing Telecoms Software
with Quviq Quickcheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings
of the 2006 ACM SIGPLAN Workshop on Erlang (Erlang 2006), pp. 2-10.
ACM Press, New York (2006)
[AVWW96] Armstrong, J., Virding, R., Wikstrom, C., Williams, M.: Concurrent Pro-
gramming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
[CH00] Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random test-
ing of Haskell programs. In: ICFP, pp. 268-279 (2000)
[CPS
+
09] Claessen, K., Palka, M., Smallbone, N., Hughes, J., Svensson, H., Arts,
T., Wiger, U.: Finding race conditions in Erlang with QuickCheck and
PULSE. In: ICFP, pp. 149-160. ACM, New York (2009)
Earle, C.B., Fredlund, L.-A.: Recent improvements to the McErlang model
checker. In: Erlang Workshop, pp. 93-100 (2009)
[EF09]
Earle, C.B., Fredlund, L.-A., Iglesias, J.A., Ledezma, A.: Verifying
robocup teams. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008.
LNCS, vol. 5348, pp. 34-48. Springer, Heidelberg (2009)
[EFIL08]
[ET09]
Earle, C.B., Thompson, S.J. (eds.): Proceedings of the 8th ACM SIG-
PLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5.
ACM, New York (2009)
[GdM08]
Gluck, R., de Moor, O. (eds.): Proceedings of the 2008 ACM SIGPLAN
Symposium on Partial Evaluation and Semantics-based Program Manip-
ulation, PEPM 2008, San Francisco, California, USA, January 7-8. ACM,
New York (2008)
[GHJ07]
Groce, A., Holzmann, G.J.: Randomized differential testing as a prelude
to formal verification. In: ICSE, pp. 621-631. IEEE Computer Society, Los
Alamitos (2007)
[Hug08]
Hughes, J.: Formal Specification for Free!. In: Erlang Workshop (2008)
[LT06]
Li, H., Thompson, S.: Comparative Study of Refactoring Haskell and Er-
lang Programs. In: SCAM, pp. 197-206. IEEE Computer Society, Los
Alamitos (2006)
