| Title Page and Abstract of the paper, 15.07.1974(?) "Design of FADAC System for Validation of Tactical Software" (by J. Bell and H. Brodkin).
Abstract of the paper, 15.07.1974(?)"Database Validation" (by A. Marmorstein).
Abstract of the paper, 15.07.1974(?)"The Design and Use of a Portable System for Testing the Arithmetic Behavior of Mathematical Software" (by M. Ginsberg and D. Frailey).
Abstract of the paper, 15.07.1974(?)"The Analysis of Data Flow in FORTRAN Programs".
Abstract of the paper, 15.07.1974(?)"COBOL Source Analyzer Tool" (by W. Kearney).
Abstract of the paper, 15.07.1974(?)"An ALGOL 60 Program Testing Facility" (by R.E. Fairley).
Abstract of the paper, 15.07.1974(?)"Pattern-Directed Protection Debugging".
Title Page and Abstract of the paper, 15.07.1974"A Tool for Debugging FORTRAN Programs" (by M. Lemoine and J.-Y. Rousselot).
Abstract of the paper, 15.07.1974(?)"A Practical Procedure for Structured Program Testing" (by D.M. Sherr).
Abstract of the paper, 15.07.1974(?)"An Automatic Specification Reconstruction".
Abstract of the paper, 15.07.1974(?)"Toward an Automated Software Testing with Instrumentation".
Abstract of the paper, 15.07.1974(?)"Reliable Testing During Software Evaluation" (by A. Cicu et al.).
Abstract of the paper, 15.07.1974"A method for test-case generation" (by J.C. Huang).
Abstracts of the papers, 15.07.1974(?)"A Stochastic Input Simulator: an Aid in Software Checkout" and "A FORTRAN SPELLER: an Algorithm for the Connection of Misspelled FORTRAN Programs" (by Sz. Szillard).
Abstract of the paper, 15.07.1974(?)"Structured Programming and Automated Validation Tools".
Abstract and Contents of the paper, 15.07.1974(?)"Use of the Connectivity Matrix for Software Network Representation" (by R.F. Hoffman and K.W. Krause).
Title Page and Abstract of the paper, 15.07.1974(?)"An Error Diagnostics Systems for IBM/370 - OS/MVT Program Interrupts" (by B.M. Kirsch and R.F. Mathis).
List, 22.04.1975(?)of papers submitted for Subject Area 13 ("Evaluation of Alternative Software Failure Models").
Abstract of the paper, 15.07.1974"Program Behavior Dependent Definition for Software Reliability". There is attached short information on the author.
Abstract of the paper, 15.07.1974(?)"Theoretical Restrictions on Reliability Claims for Systems" (by W.G. Wilson).
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |
