ISTD Seminar by Martin Sulzmann – Prof Martin will survey the state of the art in the area of controlled concurrency (CCT) testing for Go to explore schedules that reveal panic and blocking bugs, and discuss several new novel aspects such as the ability to perform controlled replay of programs to guarantee that new schedules are actually explored in this seminar.
