Publications

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

Dissertation

Effective Techniques for Stateless Model Checking
Stavros Aronis.
PhD Dissertation, Uppsala University, 2018.

Papers

ACM DL Author-ize serviceModelling distributed Erlang within a single node
Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

Optimal Dynamic Partial Order Reduction with Observers
Stavros Aronis, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas.
TACAS 2018, Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol 10806, 2018.
The official publication is available at link.springer.com via its DOI link.

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.