Как разработчики асиков верифицируют свои проекты? Когда довольно сложный проект отлажен и в штатных ситауциях работает, как вылавливаются хитрые редкие моменты, например разные одновременные события, переполнения, опустошения и т.д., о которых при ручном написании тестов можно просто не догадаться? Понимаю, что это целая наука, но хотя бы введите в курс дела. Пока поэкспериментирую с Code Coverage моделсима :)