UNICORN: a unified approach for localizing non-deadlock concurrency bugs-Reference-Cited by-同舟云学术

UNICORN: a unified approach for localizing non-deadlock concurrency bugs

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

Author:

Park Sangmin¹,Vuduc Richard¹,Harrold Mary Jean¹

Affiliation:

1. College of Computing; Georgia Institute of Technology; 266 Ferst Dr Atlanta GA USA 30332

Funder

National Science Foundation

International Business Machines Corporation

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference52 articles.

1. Tracking the blackout bug;Poulsen;SecurityFocus,2004

2. Leveson NG SafeWare: system safety and computers 1995

3. Godefroid P Nagappan N Concurrency at Microsoft: An exploratory survey Proceedings of Workshop on Exploiting Concurrency Efficiently and Correctly 2008 1 4

4. Debugging concurrent programs;McDowell;ACM Computer Surveys,1989

5. Iterative context bounding for systematic testing of multithreaded programs;Musuvathi;SIGPLAN Note,2007

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

1. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

2. Concurrent fault localization using ANN;International Journal of System Assurance Engineering and Management;2023-09-19

3. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

4. Diagnosing Kernel Concurrency Failures with AITIA;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08

5. Toward More Efficient Statistical Debugging with Abstraction Refinement;ACM Transactions on Software Engineering and Methodology;2023-03-30