Prioritized Constraint-Aided Dynamic Partial-Order Reduction-Reference-Cited by-同舟云学术

Prioritized Constraint-Aided Dynamic Partial-Order Reduction

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Su Jie¹^ORCID,Tian Cong¹^ORCID,Yang Zuchao¹^ORCID,Yang Jiyu¹^ORCID,Yu Bin¹^ORCID,Duan Zhenhua¹^ORCID

Affiliation:

1. ICTT and ISN Laboratory, Xidian University, China

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China

Publisher

ACM

Link

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

Reference42 articles.

1. Optimal dynamic partial order reduction

2. Elvira Albert , Puri Arenas , Maria Garcia de la Banda , Miguel Gómez-Zamalloa, and Peter Stuckey. 2017 . Context-Sensitive Dynamic Partial Order Reduction. Springer , 526–543. https://doi.org/10.1007/978-3-319-63387-9_26 10.1007/978-3-319-63387-9_26 Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, and Peter Stuckey. 2017. Context-Sensitive Dynamic Partial Order Reduction. Springer, 526–543. https://doi.org/10.1007/978-3-319-63387-9_26

3. Yves Bertot and Pierre Casteran . 2004. Interactive Theorem Proving and Program Development . SpringerVerlag . https://doi.org/10.1007/978-3-662-07964-5 10.1007/978-3-662-07964-5 Yves Bertot and Pierre Casteran. 2004. Interactive Theorem Proving and Program Development. SpringerVerlag. https://doi.org/10.1007/978-3-662-07964-5

4. Dirk Beyer . 2022. Progress on software verification: SV-COMP 2022 . In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, Vol. 13244. Springer Nature , 375. https://doi.org/10.1007/978-3-030-99527-0_20 10.1007/978-3-030-99527-0_20 Dirk Beyer. 2022. Progress on software verification: SV-COMP 2022. In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, Vol. 13244. Springer Nature, 375. https://doi.org/10.1007/978-3-030-99527-0_20

5. CPAchecker: A Tool for Configurable Software Verification

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

1. CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features;Lecture Notes in Computer Science;2024

2. Local and Global Logit Adjustments for Long-Tailed Learning;2023 IEEE/CVF International Conference on Computer Vision (ICCV);2023-10-01

3. PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2023