Skip to main content

Test-Driven Development of Concurrent Programs using Concuerror

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM, pp. 51-61. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664) (KAR id:58949)

PDF Author's Accepted Manuscript
Language: English
Download (1MB) Preview
[thumbnail of ERLANG-2011.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


This paper advocates the test-driven development of concurrent Erlang programs in order to detect early and eliminate the vast majority of concurrency-related errors that may occur in their execution. To facilitate this task we have developed a tool, called Concuerror, that exhaustively explores process interleaving (possibly up to some preemption bound) and presents detailed interleaving information of any errors that occur. We describe in detail the use of Concuerror on a non-trivial concurrent Erlang program that we develop step by step in a test-driven fashion.

Item Type: Book section
DOI/Identification number: 10.1145/2034654.2034664
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: M. Christaki
Date Deposited: 23 Nov 2016 14:33 UTC
Last Modified: 16 Nov 2021 10:23 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year