Publications

This is a list of publications related to Concuerror. Most titles are links to official versions of the articles.

You can find more info about the developers of Concuerror here.

Papers

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking
Stavros Aronis, Scott Lystig Fritchie, and Konstantinos Sagonas.
IFM 2017, Integrated Formal Methods: Proceedings of the 13th International Conference, 2017.
The official publication is available at link.springer.com via its DOI link.

ACM DL Author-ize serviceThe shared-memory interferences of Erlang/OTP built-ins
Stavros Aronis and Konstantinos Sagonas.
Erlang 2017, Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017.
ACM DL Author-ize serviceOptimal dynamic partial order reduction
Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas.
POPL '14, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014.

Systematic Testing for Detecting Concurrency Errors in Erlang Programs
Maria Christakis, Alkis Gotovos, and Konstantinos Sagonas.
ICST 2013, Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2013.
The official publication is available at ieeexplore.ieee.org via its DOI link.

ACM DL Author-ize serviceTest-driven development of concurrent programs using Concuerror
Alkis Gotovos, Maria Christakis, and Konstantinos Sagonas.
Erlang '11, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 2011.

Theses

Systematic Testing of Concurrent Erlang Programs: Some Experiences
Ilias Tsitsimpis.
Diploma Thesis, National Technical University of Athens, 2013.

Dynamic Systematic Testing of Concurrent Erlang Programs
Alkis Gotovos.
Diploma Thesis, National Technical University of Athens, 2011.