Sound empirical evidence in software testing
Combined static and dynamic automated test generation