1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Sanghoon Rho, Philipp Martens, Seungcheol Shin +3
Coyote C++ is an automated testing tool that uses a sophisticated concolic-execution-based approach to realize fully automated unit testing for C and C++. While concolic testing ha…