Unit testing c程序的协同测试

我得到了一个项目来创建一个用于测试c程序的concolic测试框架。我发现CUTE和DART实现了concolic测试。但它们无法下载。我完全理解concolic测试的工作方式，但我无法在系统级实现它。有人能帮忙吗？我需要关于如何提取c程序的组件/函数、具体地和象征性地测试它们并找出程序中可能出现的错误的帮助。

是concolic测试的开源实现。

和是分别针对Java和JavaScript程序的concolic测试的开源实现

什么是共同测试？嗯，这很过时，但是。。。你有进步吗？一个共同的测试框架不是一个人可以在四周内轻松实现的。