Debug Concurrent Programs with Visualization and Inference of Event Structure.

Published in: APSEC (2012)

Keyphrases