Up

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
1 ยท 2

1 CalFuzzer uses static and dynamic analyses to detect concurrent defects. 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 Java programs.

Sergey Vartanov, 2007–2020