The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
暂无分享,去创建一个
[1] Patrice Godefroid,et al. Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.
[2] Patrice Godefroid,et al. Dynamic partial-order reduction for model checking software , 2005, POPL '05.
[3] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[4] Thomas Ball,et al. Finding and Reproducing Heisenbugs in Concurrent Programs , 2008, OSDI.
[5] Shaz Qadeer,et al. Partial-Order Reduction for Context-Bounded State Exploration , 2007 .