Revision as of 19:59, 21 June 2021 edit 2001:818:db58:400:9847:6d3:24a3:5075 (talk) No edit summary Tag: Visual edit ← Previous edit		Revision as of 23:45, 29 June 2021 edit undo GreenC bot (talk \| contribs) Bots 3,056,216 edits Rescued 2 archive links. Wayback Medic 2.5 Next edit →
Line 103: ==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 [https://web.archive.org/web/20110107010258/http://babelfish.arc.nasa.gov/trac/jpf/wiki/intro/what_is_jpf Java Path Finder] (which blends [https://web.archive.org/web/20110106040136/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