CalFuzzer

MaRDI QIDQ14573swMATHFDO

Official website http://srl.cs.berkeley.edu/~ksen/calfuzzer/

Cited in

(2)

• Combining model checking and testing
• Dynamically checking ownership policies in concurrent C/C++ programs

This page was built for software: CalFuzzer