Software testing, verification & reliability.

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1987)

Software verification and validation : a practitioner's guide /
by: Rakitin, Steven R.
Published: (1997)

Software quality and software testing in Internet times /
Published: (2002)

Verification and validation of modern software-intensive systems /
by: Schulmeyer, G. Gordon
Published: (2000)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

Software reliability.
Published: (1986)

Independent verification and validation : a life cycle engineering process for quality software /
by: Lewis, Robert O., 1938-
Published: (1992)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)

Software and systems modeling.
Published: (2002)

Flexible, reliable software : using patterns and agile development /
by: Christensen, Henrik B.
Published: (2010)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
Published: (2006)

Software reliability engineering : more reliable software, faster development and testing /
by: Musa, John D.
Published: (1999)

Software error detection through testing and analysis /
by: Huang, J. C., 1935-
Published: (2009)

Software reliability /
by: Pham, Hoang
Published: (2000)

Program verification /
by: Francez, Nissim
Published: (1992)

How to break software security : effective techniques for security testing /
by: Whittaker, James A., 1965-
Published: (2004)

Software reliability : achievement and assessment /
Published: (1987)

Software reliability modelling and identification /
Published: (1988)

Software reliability methods /
by: Peled, Doron A., 1962-
Published: (2001)

Software reliability modelling /
by: Xie, M.
Published: (1991)

Ensuring software reliability /
by: Neufelder, Ann Marie, 1960-
Published: (1993)

Software reliability handbook /
Published: (1990)

Software testing techniques : finding the defects that matter /
Published: (2005)

The software audit guide /
by: Helgeson, John W., 1945-
Published: (2010)

The art of software security testing : identifying software security flaws /
Published: (2007)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1991)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Software reviews and audits handbook /
by: Hollocker, Charles P.
Published: (1990)

Software reliability modelling and identification /
Published: (1988)

Recommended practice for software reliability /
Published: (1993)

Software reliability models : theoretical developments, evaluation, and applications /
Published: (1990)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Reliable JavaScript /
by: Spencer, Lawrence D., et al.
Published: (2015)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Software reliability techniques for real-world applications /
by: Youree, Roger K.
Published: (2023)