Following advances in hardware engineering (multi-core processors) and software engineering (agile practices), there is now a large demand for unit-testing techniques for concurrent code. This paper presents the motivation, problem, proposed solution, first results, and open challenges of an early-stage research project (2019-2022) that aims to develop innovative such techniques. Founded on existing work on coordination models and languages, the project's idea is to use a combination of domain-specific language, compilation, and model-checking to build a fully automated framework for unit-testing concurrency.

Compilation, Coordination, Domain-specific language, Model-checking
International Conference on Engineering of Complex Computer Systems

Jongmans, S.-S.T.Q. (2019). Toward new unit-testing techniques for shared-memory concurrent programs. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (pp. 164–169). doi:10.1109/ICECCS.2019.00025