Revision as of 01:51, 4 July 2015 edit 202.156.33.228 (talk) →Implementations ← Previous edit		Revision as of 04:42, 7 July 2015 edit undo 202.156.33.228 (talk) →Implementations Next edit →
Line 88: * [https://docs.eiffel.com/book/eiffelstudio/autotest AutoTest] - a tool integrated to EiffelStudio testing automatically Eiffel code with contracts based on the eponymous research prototype.<ref name="AutoTest"/>· * [https://code.google.com/p/yeti-test/ York Extensible Testing Infrastructure (YETI)] - a language agnostic tool which targets various programming languages (Java, JML, CoFoJa, .NET, C, Kermeta). * [https://github.com/codelion/gramtest ~~Gramtest~~GramTest] - a grammar based random testing tool written in Java, it uses BNF notation to specify input grammars. == Critique ==

Random testing: Difference between revisions