TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - García de la Banda, María
AU  - Stuckey, Peter J.
AU  - Gómez-Zamalloa Gil, Miguel
AU  - Isabel Márquez, Miguel
PY  - 2019
DO  - 10.1145/3293882.3330565
SN  - 978-1-4503-6224-5
UR  - https://hdl.handle.net/20.500.14352/96664
AB  - Dynamic Partial Order Reduction (DPOR) algorithms are used in stateless model checking to avoid the exploration of equivalent execution sequences. DPOR relies on the notion of independence between execution steps to detect equivalence. Recent progress...
LA  - eng
TI  - Optimal context-sensitive dynamic partial order reduction with observers
TY  - conference paper
ER  -