Introduction to software testing von Ammann, Paul, Offutt, Jeff

Table of contents only
Publisher description
Contributor biographical information
Inhaltsverzeichnis

Systems and software verification model-checking techniques and tools

Inhaltsverzeichnis

Communication protocol specification and verification von Lai, Richard, Jirachiefpattana, Ajin

Verification of sequential and concurrent programs von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

Guidance for the verification and validation of neural networks von Pullum, Laura L., Taylor, Brian J., Darrah, Majorie A.

Inhaltsverzeichnis

Advanced topics in exception handling techniques

Inhaltstext

Software verification and validation realistic project approaches von Deutsch, Michael S.

Compiler specification and verification von Polak, Wolfgang

Concurrency verification introduction to compositional and noncompositional methods

KORSO: methods, languages, and tools for the construction of correct software final report

Extensions of the UNITY methodology compositionality, fairness and probability in parallelism von Rao, Josyula Ramachandra 1962-

Inhaltsverzeichnis

Formal methods in circuit design von Stavridou, Victoria

The foundations of program verification von Loeckx, Jacques, Sieber, Kurt

Inhaltsverzeichnis
Inhaltsverzeichnis

Software engineering metrics and models von Conte, Samuel D., Dunsmore, H. E., Shen, V. Y.

A survey of verification techniques for parallel programs von Barringer, Howard

The art of software security assessment identifying and preventing software vulnerabilities von Dowd, Mark

Table of contents only
Inhaltsverzeichnis

Verifying concurrent processes using temporal logic von Hailpern, Brent T.

Data refinement model-oriented proof methods and their comparison von Roever, Willem-Paul de 1943-, Engelhardt, Kai

Publisher description
Table of contents

Partial order methods for the verification of concurrent systems an approach to the state explosion problem von Godefroid, Patrice

Inhaltsverzeichnis

Computer aided verification 6th international conference, CAV '94, Stanford, California, USA, June 21 - 23, 1994 ; proceedings