2026-07-22T05:24:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6747 2024-03-06T10:29:57Z ddc:004 open_access

Testing of Concurrent Programs Isabel, Miguel Property-based Testing Partial Order Reduction Deadlock-Guided Testing Deadlock Detection Systematic Testing Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal erroneous behaviour. This introduces a new problem: the well-known state space problem, which is often computationally intractable. In the present thesis, this issue will be addressed through: (1) the development of new Partial-Order Reduction Techniques and (2) the combination of static analysis and testing (property-based testing) in order to reduce the combinatorial explosion. As a preliminary result, we have performed an experimental evaluation on the SYCO tool, a CLP-based testing framework for actor-based concurrency, where these techniques have been implemented. Finally, our experiments prove the effectiveness and applicability of the proposed techniques. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Miguel Isabel 2016 Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2016.18 urn:nbn:de:0030-drops-67470 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.18 eng https://creativecommons.org/licenses/by/3.0/legalcode