Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks.

Martin Sulzmann, Kai Stadtmller

Browse the full PPDP paper archive.