conftrace_

multi-threaded software

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrency debugging (1) multi-threaded program (1) maximum satisfiability (1) satisfiability modulo theories (1) maxsat solving (1) smt solver (1) bug detection (1)

Papers

Concurrency Debugging with MaxSMT AAAI 2019