TAV 1989: Key West, Florida, USA

• William E. Howden:
  Validating Programs without Specifications. 2-9
  Electronic Edition (ACM DL) BibTeX
• Rami R. Razouk, Michael M. Gorlick:
  Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. 10-19
  Electronic Edition (ACM DL) BibTeX
• William D. Young:
  Verified Compilation in micro-Gypsy. 20-26
  Electronic Edition (ACM DL) BibTeX
• Richard G. Hamlet:
  Theoretical Comparison of Testing Methods. 28-37
  Electronic Edition (ACM DL) BibTeX
• Bingchiang Jeng, Elaine J. Weyuker:
  Some Observations on Partition Testing. 38-47
  Electronic Edition (ACM DL) BibTeX
• Derek F. Yates, Nicos Malevris:
  Reducing the Effects of Infeasible Paths in Branch Testing. 48-54
  Electronic Edition (ACM DL) BibTeX
• B. Choi, A. Mathur, B. Pattison:
  PMothra: Scheduling Mutants for Execution on a Hypercube. 58-65
  Electronic Edition (ACM DL) BibTeX
• Kurt M. Olender, Leon J. Osterweil:
  Cesar: A Static Sequencing Constraint Analyzer. 66-74
  Electronic Edition (ACM DL) BibTeX
• Gordon Kotik, Lawrence Markosian:
  Automating Software Analysis and Testing Using a Program Transformation System. 75-84
  Electronic Edition (ACM DL) BibTeX
• Debra J. Richardson, T. Owen O'Malley, C. Tittle:
  Approaches to Specification-Based Testing. 86-96
  Electronic Edition (ACM DL) BibTeX
• Daniel Hoffman, C. Brealey:
  Module Test Case Generation. 97-102
  Electronic Edition (ACM DL) BibTeX
• Mark Moriconi:
  A Practical Approach to Semantic Configuration Management. 103-113
  Electronic Edition (ACM DL) BibTeX
• D. Perry:
  The Logic of Propagation in the Inscape Environment. 114-121
  Electronic Edition (ACM DL) BibTeX
• George S. Avrunin, Jack C. Wileden, Laura K. Dillon:
  Experiments in Automated Analysis of Concurrent Software Systems. 124-130
  Electronic Edition (ACM DL) BibTeX
• A. Jefferson Offutt:
  The Coupling Effect: Fact or Fiction. 131-140
  Electronic Edition (ACM DL) BibTeX
• John H. Rowland, Y. Zuyuan:
  Experimental Comparison of Three System Test Strategies Preliminary Report. 141-149
  Electronic Edition (ACM DL) BibTeX
• Susan L. Gerhart:
  Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems. 152-155
  Electronic Edition (ACM DL) BibTeX
• Mary Jean Harrold, Mary Lou Soffa:
  Interprocedual Data Flow Testing. 158-167
  Electronic Edition (ACM DL) BibTeX
• Andy Podgurski, Lori A. Clarke:
  The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. 168-178
  Electronic Edition (ACM DL) BibTeX
• James M. Bieman, J. Schultz:
  Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion. 179-186
  Electronic Edition (ACM DL) BibTeX
• David S. Rosenblum, David C. Luckham:
  Testing the Correctness of Tasking Supervisors with TSL Specifications. 187-196
  Electronic Edition (ACM DL) BibTeX
• Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck:
  Integrated Concurrency Analysis in a Software Development Enviornment. 200-209
  Electronic Edition (ACM DL) BibTeX
• Marc J. Balcer, William M. Hasling, Thomas J. Ostrand:
  Automatic Generation of Test Scripts from Formal Test Specifications. 210-218
  Electronic Edition (ACM DL) BibTeX
• Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil:
  Integrating Testing Techniques Through Process Programming. 219-228
  Electronic Edition (ACM DL) BibTeX