TAV 1989: Key West, Florida, USA

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