Gerard Holzmann has just published an article "Randomly Right": IEEE Software ( Volume: 34, Issue: 5, 2017 )
Holzmann worked at Bell Labs for about 20 years, then at NASA. He created the Spin system for model checking software systems. The article "Randomly Right" describes a software system (FeaVer - Feature Verification) which creates a checkable model from 'C' code. It then assigns random inputs to copies of the model and runs each model in parallel to smoke out problems. [http://spinroot.com/feaver](http://spinroot.com/feaver) Since Nim has 'C' as its intermediate language, it might be reasonable to put a couple of graduate students to work on creating a companion tool for Nim that could test Nim programs as they are being developed. FeaVer is a good starting point. Have fun
