SYCO: a systematic testing tool for concurrent objects-Reference-Cited by-同舟云学术

SYCO: a systematic testing tool for concurrent objects

Published:2016-03-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Compiler Construction
language:
Short-container-title:

Author:

Albert Elvira¹,Gómez-Zamalloa Miguel¹,Isabel Miguel¹

Affiliation:

1. Complutense University of Madrid, Spain

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2892208.2892236

Reference9 articles.

1. Optimal dynamic partial order reduction

2. aPET: a test case generation tool for concurrent objects

3. E. Albert M. G´omez-Zamalloa and M. Isabel. Combining Static Analysis and Testing for Deadlock Detection. Technical report 2015. E. Albert M. G´omez-Zamalloa and M. Isabel. Combining Static Analysis and Testing for Deadlock Detection. Technical report 2015.

4. S. Aronis and K. Sagonas. Concuerror: Systematic concurrency testing of Erlang programs. S. Aronis and K. Sagonas. Concuerror: Systematic concurrency testing of Erlang programs.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proving Correctness of Parallel Implementations of Transition System Models;ACM Transactions on Programming Languages and Systems;2024-04-20

2. Optimal dynamic partial order reduction with context-sensitive independence and observers;Journal of Systems and Software;2023-08

3. Automated model extraction: From non-deterministic C code to active objects;Science of Computer Programming;2021-04

4. Actor-based model checking for Software-Defined Networks;Journal of Logical and Algebraic Methods in Programming;2021-01

5. Deadlock-Guided Testing;IEEE Access;2021