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-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
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-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