TY  - CPAPER
AU  - Isabel Márquez, Miguel
PY  - 2019
DO  - 10.1145/3293882.3338987
UR  - https://hdl.handle.net/20.500.14352/99060
AB  - Testing concurrent systems requires exploring all possible nondeterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal an erroneous behaviour of the system. This introduces a combinatorial explosion on...
LA  - eng
M2  - 433
KW  - Testing
KW  - Software Verification
KW  - Partial-Order Reduction
TI  - Conditional dynamic partial order reduction and optimality results
TY  - conference paper
ER  -