When these techniques are properly combined, you can reproduce the conditions under which your software may assert its true ...