conftrace_

concurrency debugging

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Concurrency Debugging with MaxSMT AAAI 2019