multi-threaded programs

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs [CAV 2020 Version]

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to …

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs [Extended Version]

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to …