Dynamic partial-order reduction for model checking software

By Cormac Flanagan, Patrice Godefroid. ACM-SIGACT Symposium on Principles of Programming Languages, 2005

755 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Organic Chemistry, Software

View Paper: https://www.semanticscholar.org/paper/ec82b49566f64a890578b9ed6d97fbcf49e25dae

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. M. Musuvathi
2. Shaz Qadeer
3. Koushik Sen

In Organic Chemistry

1. Shaz Qadeer
2. M. Musuvathi

In Software

1. M. Musuvathi
2. Shaz Qadeer

Citations in the corpus

• A NICE Way to Test OpenFlow Applications (2012, neutral): “4 POR is a well-known technique for avoiding exploring unnecessary orderings of transitions ( e.g. , [27]).”
• Iterative context bounding for systematic testing of multithreaded programs (2007, methodology): “File System Model: This is a simplified model of a file system derived used in prior work (see Figure 7 in [7]).”