Proceedings of the ACM SIGSOFT '89
Subtitle: Third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, December 13-15, 1989 / edited by Richard A. Kemmerer
Contributors: Kemmerer, Richard A; ACM Sigsoft
Series: Software engineering notes -- 14, no. 8
Publisher: ACM Press
Published: 1989
Place of publication: New York
Language: eng
Number of pages: 229
Subjects: Computer software -- Testing -- Congresses; Computer software -- Verification -- Congresses
Notes: Includes bibliographical references and index
Table of contents: 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