Iterative Cycle Detection via Delaying Explorers

[1]  Dragan Bosnacki,et al.  Survey on Directed Model Checking , 2009, MoChArt.

[2]  Francesco Sorrentino,et al.  PENELOPE: weaving threads to expose atomicity violations , 2010, FSE '10.

[3]  Willem Visser,et al.  Model Checking Programs with Java PathFinder , 2005, SPIN.

[4]  Thomas A. Henzinger,et al.  Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions , 2008, FMSB.

[5]  Chao Wang,et al.  Contessa: Concurrency Testing Augmented with Symbolic Analysis , 2010, CAV.

[6]  Lubos Brim,et al.  Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking , 2004, FMCAD.

[7]  Richard H. Carver,et al.  Replay and testing for concurrent programs , 1991, IEEE Software.

[8]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[9]  Keir Fraser,et al.  Language support for lightweight transactions , 2014, SIGP.

[10]  Nir Shavit,et al.  Software transactional memory , 1995, PODC '95.

[11]  Sebastian Burckhardt,et al.  Preemption Sealing for Efficient Concurrency Testing , 2010, TACAS.

[12]  Madan Musuvathi,et al.  Fair stateless model checking , 2008, PLDI '08.

[13]  Gwan-Hwan Hwang,et al.  Reachability Testing: an Approach to Testing Concurrent Software , 1995, Int. J. Softw. Eng. Knowl. Eng..

[14]  Thomas Ball,et al.  Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.

[15]  Koushik Sen,et al.  Race directed random testing of concurrent programs , 2008, PLDI '08.

[16]  Eitan Farchi,et al.  Concurrent bug patterns and how to test them , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[17]  Ivana Černá,et al.  Enhancing random walk state space exploration , 2005, FMICS '05.

[18]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[19]  Patrice Godefroid,et al.  Model checking for programming languages using VeriSoft , 1997, POPL '97.

[20]  Damien Zufferey,et al.  P: safe asynchronous event-driven programming , 2013, PLDI.

[21]  Jakob Rehof,et al.  Zing: A Model Checker for Concurrent Software , 2004, CAV.