Sign in

Abstraction and Mining of Traces to Explain Concurrency Bugs.

Mitra Tabaei BefroueiChao WangGeorg Weissenbacher
Published in: RV (2014)
Keyphrases