Smarter Software Testing