Software Verification

382 books
Lessons learned in software testingCem Kaner
⏱ 5h 20m

Lessons learned in software testing

Cem Kaner

2001320 pp.
Software TestingBrian Hambling
⏱ 4h 36m

Software Testing

Brian Hambling

2009276 pp.
Specification by exampleGojko Adzic
⏱ 4h 30m

Specification by example

Gojko Adzic

2011270 pp.
Principles of model checkingChristel Baier
⏱ 16h 24m

Principles of model checking

Christel Baier

2008984 pp.
Beautiful testingTim Riley
⏱ 5h 40m

Beautiful testing

Tim Riley

2009340 pp.
Software engineering conceptsR. E. Fairley
⏱ 6h 4m

Software engineering concepts

R. E. Fairley

1985364 pp.
Explore it!Elisabeth Hendrickson
⏱ 2h 42m

Explore it!

Elisabeth Hendrickson

2013162 pp.
Software testingGerald D. Everett
⏱ 4h 40m

Software testing

Gerald D. Everett

2006280 pp.
A practical guide to adopting the Universal Verification Methodology (UVM)Sharon Rosenberg
⏱ 4h 35m

A practical guide to adopting the Universal Verification Methodology (UVM)

Sharon Rosenberg

2010275 pp.
Pragmatic Software TestingRex Black
⏱ 6h 6m

Pragmatic Software Testing

Rex Black

2011366 pp.
Model checkingEdmund M. Clarke Jr.
⏱ 6h 17m

Model checking

Edmund M. Clarke Jr.

1999377 pp.
Toward zero-defect programmingAllan M. Stavely
⏱ 4h 0m

Toward zero-defect programming

Allan M. Stavely

1999240 pp.
Certifiable Software Applications 3Jean-Louis Boulanger
⏱ 5h 28m

Certifiable Software Applications 3

Jean-Louis Boulanger

2018328 pp.
Systems and software verificationBéatrice Bérard
⏱ 3h 16m

Systems and software verification

Béatrice Bérard

2001196 pp.
New Trends in Software Methodologies, Tools and TechniquesH. Fujita
⏱ 6h 8m

New Trends in Software Methodologies, Tools and Techniques

H. Fujita

2007368 pp.
The economics of software qualityCapers Jones
⏱ 9h 47m

The economics of software quality

Capers Jones

2012587 pp.
Verified softwareVSTTE 2008 (2008 Toronto, Ont.)
⏱ 4h 22m

Verified software

VSTTE 2008 (2008 Toronto, Ont.)

2008262 pp.
Languages, Design Methods, and Tools for Electronic System DesignFranco Fummi
⏱ 2h 39m

Languages, Design Methods, and Tools for Electronic System Design

Franco Fummi

2016159 pp.
Practical software testingIlene Burnstein
⏱ 9h 15m

Practical software testing

Ilene Burnstein

2003555 pp.
Correct Software in Web Applications and Web ServicesBernhard Thalheim
⏱ 5h 32m

Correct Software in Web Applications and Web Services

Bernhard Thalheim

2015332 pp.
Page 1 of 20Next →