dynamic verification

1. REDIRECT Software_verification#Dynamic_verification_(Test,_experimentation) {{Redirect category shell|

{{R to section}}

}}