|
|
|
|
|
|
by nickpsecurity
3800 days ago
|
|
|
Now you're getting the idea. QuickCheck is a good example. I was going to drop an example from safety-critical industry but there's too many now for me to find it lol. Anyway, thanks to our discussion, I did find this great page with links to surveys, list of strategies, and listings of tools: http://mit.bme.hu/~micskeiz/pages/code_based_test_generation... Enjoy! |
|
|