Controlled concurrency testing via periodical scheduling-Reference-Cited by-同舟云学术

Controlled concurrency testing via periodical scheduling

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th International Conference on Software Engineering
language:
Short-container-title:

Author:

Wen Cheng¹,He Mengda²,Wu Bohao¹,Xu Zhiwu¹,Qin Shengchao³

Affiliation:

1. Shenzhen University, Shenzhen, China

2. Teesside University, Tees Vally, UK

3. Huawei Hong Kong Research Center, Hong Kong, China

Funder

National Natural Science Foundation of China

Publisher

ACM

Link

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

Reference80 articles.

1. 2016. SCTBench : a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques . Retrieved August 20, 2021 . https://github.com/mc-imperial/sctbench [online]. 2016. SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques. Retrieved August 20, 2021. https://github.com/mc-imperial/sctbench [online].

2. 2019. CVE Benchmark. Retrieved August 20 2021. https://github.com/mryancai/ConVul [online]. 2019. CVE Benchmark. Retrieved August 20 2021. https://github.com/mryancai/ConVul [online].

3. 2021. Deadline Task Scheduling. The Linux kernel user's and administrator's guide. https://www.kernel.org/doc/html/latest/scheduler/sched-deadline.html [online]. 2021. Deadline Task Scheduling. The Linux kernel user's and administrator's guide. https://www.kernel.org/doc/html/latest/scheduler/sched-deadline.html [online].

4. Promoting secondary orders of event pairs in randomized scheduling using a randomized stride

5. Concurrency bugs in open source software: a case study;Asadollah Sara Abbaspour;Journal of Internet Services and Applications,2017

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

1. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?;ACM Transactions on Knowledge Discovery from Data;2024-06-19

2. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06

5. Intrathread Method Orders Based Adaptive Testing of Concurrent Objects;Lecture Notes in Computer Science;2024