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.
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.
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.
Systematic Testing of Concurrent Erlang Programs: Some Experiences
Diploma Thesis, National Technical University of Athens, 2013.
Dynamic Systematic Testing of Concurrent Erlang Programs
Diploma Thesis, National Technical University of Athens, 2011.