Not sure here--should we use code for the name of the tool? Maybe just saying QuickCheck with a reference would be better.