Software testing & verification books

 Read More >>

 Read More >>

 Read More >>

""The IDA Pro Book"" provides a comprehensive, top-down overview of IDA Pro and its use for reverse engineering...  Read More >>

Focuses on the topic of improving software quality using adaptive control approaches. This book combines research...  Read More >>

This book is a step-by-step tutorial and is packed with practical examples that will make learning JIRA easy.If...  Read More >>

 Read More >>

This book details both the basic concepts of software performance analysis and state-of-the-art methodologies. It...  Read More >>

Hands-on guidance to creating great test-driven development practice Test-driven development (TDD) practice helps...  Read More >>

By way of this book, Norman Schneidewind has officially bridged the gap between the two disparate fields. Filled...  Read More >>

The Oracle Solaris DTrace feature revolutionizes the way you debug operating systems and applications. Using DTrace,...  Read More >>

Take advantage and learn automation testing using HP QTP. The book is well organized and easy to follow for someone...  Read More >>

The papers address all current issues, challenges and future directions of verification for hardware, software,...  Read More >>

This second edition of Testing IT demonstrates the role and use of agile testing best practices and includes a specific...  Read More >>

Use Visual Studio 2010’s Breakthrough Testing Tools to Improve Quality Throughout the Entire Software Lifecycle...  Read More >>

Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui, and Rodrigues present...  Read More >>

"This book covers the ""Foundations Level"" (i.e., entry level) and teaches the most important methods of software...  Read More >>

From the moment it was published almost ten years ago, Elements of User Experience became a vital reference for...  Read More >>

Authored by accomplished urban geographers and GIS experts, Exploring the Urban Community: A GIS Approach leverages...  Read More >>

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal...  Read More >>

 Read More >>

This supplemental volume of selected articles from the Memory Dump Analysis Anthology contains 170 full-color...  Read More >>

Many enterprises regard system-level testing as the final piece of the development effort, rather than as a tool...  Read More >>

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion...  Read More >>

 Read More >>