Software testing & verification books

413 books were found.

Computer System Reliability: Safety and Usability

Computer System Reliability: Safety and Usability

Author: B.S. Dhillon
ISBN: 9781466573123
Format: Hardback
$210.00

 Read More >>

Explore It!

Explore It!

Author: Elisabeth Hendrickson
ISBN: 9781937785024
Format: Paperback
$46.50

 Read More >>

Cucumber Recipes

Cucumber Recipes

Author: Ian Dees ,  Matt Wynne
ISBN: 9781937785017
Format: Paperback
$52.80

You can test just about anything with Cucumber. We certainly have, and in Cucumber Recipes we'll show you how to...  Read More >>

Process Based Unification for Multi-model Software Process Improvement

Process Based Unification for Multi-model Software Process...

Author: Zádor Dániel Kelemen
ISBN: 9789038633138
Format: Paperback
$57.55

Many different quality approaches are available in the software industry. Some of the approaches, such as ISO 9001...  Read More >>

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Verification, Model Checking, and Abstract Interpretation:...

Author: Roberto Giacobazzi ,  Josh Berdine
ISBN: 9783642358722
Format: Paperback
$155.22

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking,...  Read More >>

Software Testing in the Cloud: Perspectives on an Emerging Discipline

Software Testing in the Cloud: Perspectives on an Emerging...

Author: Scott Tilley ,  Tauhida Parveen
ISBN: 9781466625365
Format: Hardback
$415.95

With software testing continuing to be an important part of the software engineering life cycle, the emergence of...  Read More >>

Software Exorcism

Software Exorcism

Author: Bill Blunden
ISBN: 9781430251071
Format: Paperback
$32.99

While there are plenty of books on the market that cover debugging and short-term workarounds for bad code, Reverend...  Read More >>

Software Testing

Software Testing

Author: Yogesh Singh (Guru Gobind Singh Indraprastha University, Delhi)
ISBN: 9781139196185
Format: Undefined
$594.00

The book is a result of the two decades of teaching experience of the author. It explains how to find faults in...  Read More >>

UNIX and Perl to the Rescue!: A Field Guide for the Life Sciences (and Other Data-rich Pursuits)

UNIX and Perl to the Rescue!: A Field Guide for the...

Author: Keith Bradnam (University of California, Davis) ,  Ian Korf (University of California, Davis)
ISBN: 9780511732287
Format: Undefined
$594.00

Written in a fun, accessible style, this step-by-step guide teaches non-programmers the key aspects of Unix and...  Read More >>

Accelerated Mac OS X Core Dump Analysis: Training Course Transcript and GDB Practice Exercises

Accelerated Mac OS X Core Dump Analysis: Training Course...

Author: Dmitry Vostokov ,  Memory Dump Analysis Services
ISBN: 9781908043405
Format: Paperback
$264.00

The full transcript of Memory Dump Analysis Services training with 12 step-by-step exercises. Learn how to analyze...  Read More >>

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International SPIN Workshop,...

Author: Alastair Donaldson ,  David Parker
ISBN: 9783642317583
Format: Paperback
$108.65

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking...  Read More >>

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal Verification of Object-Oriented Software: International...

Author: Bernhard Beckert ,  Ferruccio Damiani
ISBN: 9783642317613
Format: Paperback
$103.47

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

Memory Dump Analysis Anthology

Memory Dump Analysis Anthology

Author: Dmitry Vostokov ,  Software Diagnostics Institute
ISBN: 9781908043368
Format: Paperback
$90.56

Contains revised, edited, cross-referenced, and thematically organized selected articles from Software Diagnostics...  Read More >>

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Computer Aided Verification: 24th International Conference,...

Author: Madhusudan Parthasarathy ,  Sanjit A. Seshia
ISBN: 9783642314230
Format: Paperback
$194.04

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification,...  Read More >>

Disciplined Agile Delivery: A Practitioner's Guide to Agile Software Delivery in the Enterprise

Disciplined Agile Delivery: A Practitioner's Guide to...

Author: Scott Ambler ,  Mark Lines
ISBN: 9780132810135
Format: Paperback
$85.95

It is widely recognised that moving from traditional to agile approaches to build software solutions is a critical...  Read More >>

Software Metrics, Second Edition: A Rigorous and Practical Approach, Third Edition

Software Metrics, Second Edition: A Rigorous and Practical...

Author: Norman Fenton (Queen Mary, University of London, UK) ,  James Bieman (Colorado State University, Fort Collins, USA)
ISBN: 9781439830420
Format: Hardback
$184.67

Offers a framework for controlling, managing, and predicting software development processes. Focusing on real-world...  Read More >>

Memory Dump Analysis Anthology

Memory Dump Analysis Anthology

Author: Dmitry Vostokov ,  Software Diagnostics Institute
ISBN: 9781908043351
Format: Paperback
$90.56

This revised, cross-referenced, and thematically organized volume of selected DumpAnalysis.org blog posts targets...  Read More >>

The IFPUG Guide to IT and Software Measurement

The IFPUG Guide to IT and Software Measurement

Author: IFPUG
ISBN: 9781439869307
Format: Hardback
$396.00

Leading software measurement experts share their insight and expertise on topics such as measurement programs, function...  Read More >>

Software Safety and Security: Tools for Analysis and Verification

Software Safety and Security: Tools for Analysis and...

Author: T. Nipkow ,  O. Grumberg
ISBN: 9781614990277
Format: Hardback
$297.56

Recent decades have seen major advances in methods and tools for checking the safety and security of software systems....  Read More >>

How Google Tests Software

How Google Tests Software

Author: James Whittaker ,  Jason Arbon
ISBN: 9780321803023
Format: Paperback
$49.95

Do you need to get it right, too? Then, learn from Google. Legendary testing expert James Whittaker, until recently...  Read More >>

Improving Software Testing: Technical and Organizational Developments

Improving Software Testing: Technical and Organizational...

Author: Tim A. Majchrzak
ISBN: 9783642274633
Format: Paperback
$116.41

Software testing remains to be a topic with many open questions with regard to both technical low-level aspects...  Read More >>

Experiences of Test Automation: Case Studies of Software Test Automation

Experiences of Test Automation: Case Studies of Software...

Author: Dorothy Graham ,  Mark Fewster
ISBN: 9780321754066
Format: Paperback
$68.95

Software test automation has moved beyond a luxury to become a necessity. Applications and systems have grown ever...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List