The grand game of testing and some related issues Yuri Gurevich Research in Software Engineering, Microsoft.