CalFuzzer Tutorial: Analysis of Concurrent Programs

CalFuzzer is a dynamic analysis and active testing framework developed by Prof. Koushik Sen's group at UC Berkeley. It provides infrastructure to analyze and test concurrent Java programs, detecting and predicting concurrency bugs. The tool modifies Java bytecode through instrumentation, enabling th

0 views • 19 slides