Title: Effective and Efficient Software Testing