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.

Additional Metadata
Keywords Compilation, Coordination, Domain-specific language, Model-checking
Persistent URL dx.doi.org/10.1109/ICECCS.2019.00025
Conference International Conference on Engineering of Complex Computer Systems
Citation
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