 However, source code or system models might not  be available at testing time.
<coherence>  However, source code or system models might not  be available at testing time.
 However, source code or system models might not always be available at testing time.