TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Gómez-Zamalloa Gil, Miguel
AU  - Isabel Márquez, Miguel
AU  - Rubio, Albert
A2  - Chockler, Hana
A2  - Weissenbacher, Georg
PY  - 2018
DO  - https://doi.org/10.1007/978-3-319-96142-2_24
UR  - https://hdl.handle.net/20.500.14352/99062
AB  - The cornerstone of dynamic partial order reduction (DPOR) is the notion of independence that is used to decide whether each pair of concurrent events p and t are in a race and thus both p · t and t · p must be explored. We present constrained dynamic...
LA  - eng
M2  - 392
TI  - Constrained Dynamic Partial Order Reduction
TY  - conference paper
ER  -