Here's one of those for C: https://github.com/silentbicycle/theft https://github.com/silentbicycle/theft Slides on automated tool below. They use "model-based

Here's one of those for C: https://github.com/silentbicycle/theft https://github.com/silentbicycle/theft Slides on automated tool below. They use "model-based testing" which is another phrase to get interesting search results. https://www.slideshare.net/dganesan11/ganesan-automated-testcasegenerationtutorial2012 https://www.slideshare.net/dganesan11/ganesan-automated-test... Also combinational testing which showed promise at catching in high 90's of defect percentage with test case minimization as a bonus. See summary and slides. http://csrc.nist.gov/groups/SNS/acts/index.html http://csrc.nist.gov/groups/SNS/acts/index.html