Toward new unit-testing techniques for shared-memory concurrent programs

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publication2019 24th International Conference on Engineering of Complex Computer Systems
Subtitle of host publicationICECCS 2019, Guangzhou, China, November 10-13, 2019
EditorsJun Pang, Jing Sun
PublisherIEEE Canada
Pages164-169
Number of pages6
ISBN (Electronic)9781728146461
ISBN (Print)9781728146478
DOIs
Publication statusPublished - 2019
Event24th International Conference on Engineering of Complex Computer Systems - Guangzhou, China
Duration: 10 Nov 201913 Nov 2019
Conference number: 24
https://ieeexplore.ieee.org/xpl/conhome/8871108/proceeding

Conference

Conference24th International Conference on Engineering of Complex Computer Systems
Abbreviated titleICECCS 2019
CountryChina
CityGuangzhou
Period10/11/1913/11/19
Internet address

Fingerprint Dive into the research topics of 'Toward new unit-testing techniques for shared-memory concurrent programs'. Together they form a unique fingerprint.

  • Cite this

    Jongmans, S-S. (2019). Toward new unit-testing techniques for shared-memory concurrent programs. In J. Pang, & J. Sun (Eds.), 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019 (pp. 164-169). IEEE Canada. https://doi.org/10.1109/ICECCS.2019.00025