Software testing broadly aims to certify not only the accuracy of the logic embedded in code but also adherence to functional requirements. Traditional testing strives for verification of these two aspects. Academia as well as industry have been working on software testing in their own ways and have contributed to the body of research on testing algorithms and practices. As a result, tools exist to automate software-testing efforts so that testing can be accomplished in a faster and less-expensive manner. However, as new computing paradigms and platforms emerge, so does the need to re-examine software testing. Now both academia and industry are searching for solutions to the problems currently faced by software development. Some of these current challenges are addressed in this book.