CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
1 CalFuzzer uses and analyses to detect . Two phases: SA and DA followed by active testing (randomized thread scheduling). 2 It pauses a thread when it reaches a statement involved in the potential bug. It is for programs.
Sergey Vartanov, 2007–2020