Proceedings of the ACM SIGSOFT '89 [electronic resource]. Third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, December 13-15, 1989 / edited by Richard A. Kemmerer.

New York : ACM Press, [c1989]
vii, 229 p. : ill.
Conference Name:
Symposium on Testing, Analysis, and Verification (3rd : 1989 : Key West, Fla.)
ACM Digital Library (Series)
Software engineering notes ; v. 14, no. 8.

Location Notes Your Loan Policy


Other Title:
Computer software -- Testing -- Congresses.
Computer software -- Verification -- Congresses.
System Details:
Mode of access: World Wide Web.
Validating programs without specifications / William E. Howden
A real-time interval logic for reasoning about executions of real-time programs / Rami R. Razouk and Michael M. Gorlick
Verified compilation in Micro-Gypsy / William D. Young
Theoretical comparison of testing methods / Richard Hamlet
Some observations on partition testing / Bingchiang Jeng, Elaine J. Weyuker
Reducing the effects of infeasible paths in branch testing / D.F. Yates and N. Malevris
Workshop report / L. Osterweil
Pmothra : scheduling mutants for execution on a hypercube / ByoungJu Choi, Aditya P. Mathur, Brian Pattison
Cesar : a static sequencing constraint analyzer / Kurt M. Olender, Leon J. Osterweil
Automating software analysis and testing using a program transformation system / Gordon B. Kotik and Lawrence Z. Markosian
Approaches to specification-based testing / Debra J. Richardson, Owen O'Malley, Cindy Tittle.
(cont.) Module test case generation / Daniel Hoffman and Christopher Brealey
A practical approach to semantic configuration management / Mark Moriconi
The logic of propagation in the inscape environment / Dewayne E. Berry
Experiments with automated constrained expression analysis of concurrent software systems / George S. Avrunin, Laura K. Dillon, Jack C. Wileden
The coupling effect : fact or fiction? / A. Jefferson Offutt
Experimental comparison of three system test strategies : preliminary report / John H. Rowland, Yu Zuyuan
Workshop report. Preliminary summary : FM 89, assessment of formal methods for trustworthy computer systems / Susan L. Gerhart
Interprocedural data flow testing / Mary Jean Harrold and Mary Lou Soffa
The implications of program dependences for software testing, debugging, and maintenance / Andy Podgurski, Lori A. Clarke
Estimating the number of test cases required to satisfy the all-du-paths testing criterion / James M. Bieman, Janet L. Schultz.
(cont.) Testing the correctness of tasking supervisors with TSL specifications / David S. Rosenblum, David C. Luckham
Integrated concurrency analysis in a software development environment / Michal Young ... [et al.]
Automatic generation of test scripts from formal test specifications / Marc J. Balcer, William M. Hasling, and Thomas J. Ostrand
Integrating testing techniques through process programming / Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil.
Special issue of: Software engineering notes, 14, no. 8.
Includes bibliographies and index.
Kemmerer, Richard A.
ACM Digital Library.
Access Restriction:
Restricted for use by site license.