Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.
Daniel SchemmelJulian BüningCésar RodríguezDavid LaprellKlaus WehrlePublished in: CAV (1) (2020)
Keyphrases
- partial order
- multi threaded
- multithreading
- partially ordered
- total order
- operating system
- information flow
- multi core processors
- parallel computing
- computer architecture
- real time
- causal links
- plan generation
- computer programs
- sequential patterns
- general purpose
- high level
- computational power
- data partitioning
- data processing
- probabilistic model
- decision making