Testing of Concurrent Programs

Author Miguel Isabel

Thumbnail PDF


  • Filesize: 279 kB
  • 5 pages

Document Identifiers

Author Details

Miguel Isabel

Cite AsGet BibTex

Miguel Isabel. Testing of Concurrent Programs. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 18:1-18:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


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.
  • Property-based Testing
  • Partial Order Reduction
  • Deadlock-Guided Testing
  • Deadlock Detection
  • Systematic Testing


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail