Content deleted Content added
→Strengths and weaknesses: static analysis points to something different |
|||
Line 68:
* It only finds basic bugs (f.ex. [[Null pointer]] dereferencing).
* It is only as precise as the specification and specifications are typically imprecise.
* It compares poorly with other techniques to find bugs (f.ex. [[static program analysis]]).
== Types of random testing ==
|