Guided Testing of Concurrent Programs Using Value Schedules


Download Links

by Jun Chen

Active Bibliography

39 Checking concise specifications for multithreaded software – Stephen N. Freund, Shaz Qadeer - 2004
46 Randomized active atomicity violation detection in concurrent programs – Chang-seo Park, Koushik Sen - 2008
Checking the Data Sharing Strategies of Concurrent Systems Level Code – Zachary Ryan Anderson, Zachary Ryan Anderson, Zachary Ryan Anderson
TESTING EMBEDDED SYSTEM APPLICATIONS – Tingting Yu, Tingting Yu, Tingting Yu, Advisors Gregg Rothermel, Witty Srisa-an
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
2 Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis – Yue Yang, Anna Gringauze, Dinghao Wu, Henning Korsholm Rohde
28 Dynamic Detection of Atomic-Set-Serializability Violations – Christian Hammer, Julian Dolby , Mandana Vaziri , Frank Tip - 2008
69 Race Directed Random Testing of Concurrent Programs – Koushik Sen - 2008
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
Acknowledgments – Caitlin Harrison Sadowski, Caitlin Harrison Sadowski, Caitlin Harrison Sadowski - 2012
7 Persuasive Prediction of Concurrency Access Anomalies – Jeff Huang, Charles Zhang
26 Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs – Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur - 2007
3 Toward a Benchmark for MultiThreaded Testing Tools – Yaniv Eytani, Scott D. Stoller, Klaus Havelund, Shmuel Ur - 2005
5 Locksmith: Practical Static Race Detection for C – Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
3 Verifying GPU kernels by test amplification – Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner - 2012
46 Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model-Checking – John Hatcliff, Robby, Matthew B. Dwyer - 2003
1 Debugging concurrent programs with sequential analysis – Shaz Qadeer
105 KISS: Keep It Simple and Sequential – Shaz Qadeer, Dinghao Wu - 2004
67 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs – Christoph von Praun, Thomas R. Gross - 2003