Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.

Daniel Schemmel Julian Büning César Rodríguez David Laprell Klaus Wehrle

Published in: CoRR (2020)

Keyphrases

partial order
multi threaded
multithreading
partially ordered
total order
multi core processors
operating system
information flow
computer architecture
high level
general purpose
sequential patterns
parallel computing
computer programs
causal links
parallel programming