Advances in noise-based testing of concurrent software-Reference-Cited by-同舟云学术

Advances in noise-based testing of concurrent software

Published:2014-09-05 Issue:3 Volume:25 Page:272-309
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Fiedor J.¹,Hrubá V.¹,Křena B.¹,Letko Z.¹,Ur S.¹,Vojnar T.¹

Affiliation:

1. Faculty of Information Technology; Brno University of Technology, IT4Innovations Centre of Excellence; Brno Czech Republic

Funder

Czech Science Foundation

Czech Ministry of Education

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference63 articles.

1. Artho C Biere A Applying static analysis to large-scale, multi-threaded java programs Proceedings of ASWEC'01 IEEE Computer Society, Canberra, Australia 2001 68 75

2. Hovemeyer D Pugh W Finding concurrency bugs in Java Proceedings of PODC'04 2004

3. Kester D Mwebesa M Bradbury JS How good is static analysis at finding concurrency bugs? Proceedings of SCAM'10 IEEE Computer Society, Timişoara, Romania 2010 115 124

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

1. Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ Programs with $$\textsc {Coyote} $$;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. Static Deadlock Detection in Low-Level C Code;Computer Aided Systems Theory – EUROCAST 2022;2022

3. Efficient noise injection for exposing hidden data races;The Journal of Supercomputing;2019-10-22

4. Empirical research on concurrent software testing: A systematic mapping study;Information and Software Technology;2019-01

5. Diversity driven adaptive test generation for concurrent data structures;Information and Software Technology;2018-11