Test-driven development of concurrent programs using concuerror

Gotovos, A; Christakis, M; Sagonas, K

dc.contributor.author	Gotovos, A	en
dc.contributor.author	Christakis, M	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:53:29Z
dc.date.available	2014-03-01T02:53:29Z
dc.date.issued	2011	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/36355
dc.subject	erlang	en
dc.subject	test-driven development	en
dc.subject.other	Concurrent program	en
dc.subject.other	erlang	en
dc.subject.other	Erlang programs	en
dc.subject.other	Non-trivial	en
dc.subject.other	Step-by-step	en
dc.subject.other	Test driven development	en
dc.subject.other	Computer programming languages	en
dc.subject.other	Errors	en
dc.subject.other	Functional programming	en
dc.subject.other	Software testing	en
dc.title	Test-driven development of concurrent programs using concuerror	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/2034654.2034664	en
heal.identifier.secondary	http://dx.doi.org/10.1145/2034654.2034664	en
heal.publicationDate	2011	en
heal.abstract	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. © 2011 ACM.	en
heal.journalName	Erlang'11 - Proceedings of the 2011 ACM SIGPLAN Erlang Workshop	en
dc.identifier.doi	10.1145/2034654.2034664	en
dc.identifier.spage	51	en
dc.identifier.epage	61	en