Revision as of 22:23, 10 July 2017 edit A876 (talk \| contribs) Extended confirmed users 10,500 edits +link from "assertion". ← Previous edit		Revision as of 22:53, 24 July 2017 edit undo 204.246.162.38 (talk) →See also: Blands -> blends Next edit →
Line 99: ==See also== [[Fuzz testing]] - a kind of random testing which provides invalid input to the tested program [[Lazy systematic unit testing#Systematic Testing]] - a systematic way of exploring "all" method calls, as implemented e.g. by NASA's [http://babelfish.arc.nasa.gov/trac/jpf/wiki/intro/what_is_jpf Java Path Finder] (which ~~blands~~blends [http://babelfish.arc.nasa.gov/trac/jpf/wiki/intro/testing_vs_model_checking testing with model checking] by limiting the state space to a reasonable size by various means) [[SystemVerilog#Constrained random generation\|Constrained random generation in SystemVerilog]] [[Corner case]]

Random testing: Difference between revisions