An automated framework to support testing for process‐level race conditions-Reference-Cited by-同舟云学术

An automated framework to support testing for process‐level race conditions

Published:2017-05-10 Issue:4-5 Volume:27 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Yu Tingting¹^ORCID,Srisa-an Witty²,Rothermel Gregg²

Affiliation:

1. Department of Computer Science University of Kentucky Lexington KY USA

2. Department of Computer Science and Engineering University of Nebraska–Lincoln Lincoln NE USA

Funder

National Science Foundation

Air Force Office of Scientific Research

Army Research Office

Defense Advanced Research Projects Agency

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1634

Reference85 articles.

1. M. D.Bond K. E.Coons andK. S.McKinley PACER: Proportional detection of data races Proceedings of the Conference on Programming Languages Design and Implementation ACM Toronto 2010 pp.255–268.

2. J.Erickson M.Musuvathi S.Burckhardt et al. Effective data‐race detection for the kernel Proceedings of the Confernece on Operating System Design and Implementation ACM Vancouver 2010 pp.151–162.

3. R.Raman J.Zhao V.Sarkar et al. Scalable and precise dynamic datarace detection for structured parallelism Proceedings of the Conference on Programming Language Design and Implementation ACM Beijing 2012 pp.531–542.

4. T.Sheng N.Vachharajani S.Eranian et al. RACEZ: A lightweight and non‐invasive race detection tool for production applications Proceedings of the International Conference on Software Engineering ACM Honolulu 2011 pp.401–410.

5. Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation

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

1. A Grey Literature Review on Data Stream Processing applications testing;Journal of Systems and Software;2023-09

2. Defense and Attack Techniques Against File-Based TOCTOU Vulnerabilities: A Systematic Review;IEEE Access;2022

3. Evaluating software testing techniques: A systematic mapping study;Advances in Computers;2021

4. A survey on software test automation return on investment, in organizations predominantly from Bengaluru, India;International Journal of Engineering Business Management;2021-01