The Community for Technology Leaders
Green Image
Issue No. 03 - May (vol. 6)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Theories of Program Testing and the Application of Revealing Subdomains (Abstract)

E.J. Weyuker , Courant Institute of Mathematical Sciences, New York University
pp. 236-246

A Domain Strategy for Computer Program Testing (Abstract)

L.J. White , Department of Computer and Information Science, Ohio State University
pp. 247-257

Error Sensitive Test Cases Analysis (ESTCA) (PDF)

K.A. Foster , GTE Sylvania, Inc.
pp. 258-264

Anomaly Detection in Concurrent Software by Static Data Flow Analysis (PDF)

R.N. Taylor , Space and Military Applications Division, Boeing Computer Services Company
pp. 265-278

Experience with Path Analysis and Testing of Programs (Abstract)

M.R. Woodward , Department of Computational and Statistical Science, University of Uverpool
pp. 278-286

SADAT-An Automated Testing Tool (Abstract)

U. Voges , Kernforschungszentrum Karlsruhe GmbH, Institut ftlr Datenverarbeitung in der Technik
pp. 286-290

An Alternative to the Rayleigh Curve Model for Software Development Effort (Abstract)

F.N. Parr , IBM T. J. Watson Research Center
pp. 291-296

Subsystems of Processes with Deadlock Avoidance (Abstract)

D.B. Lomet , IBM T. J. Watson Research Center
pp. 297-304

Deadline-Oriented Servicing: Waiting-Time Distributions (Abstract)

B. Walke , AEG-TELEFUNKEN, Research Institute of Ulm
pp. 304-312

Call for Papers (PDF)

pp. 312
84 ms
(Ver 3.3 (11022016))