TAV 1991: Victoria, British Columbia, Canada

• Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet:
  Comparison of Program Testing Strategies. 1-10
  Electronic Edition (ACM DL) BibTeX
• Andy Podgurski:
  Reliability, Sampling, and Algorithmic Randomness. 11-20
  Electronic Edition (ACM DL) BibTeX
• Douglas L. Long, Lori A. Clarke:
  Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. 21-35
  Electronic Edition (ACM DL) BibTeX
• Evelyn Duesterwald, Mary Lou Soffa:
  Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. 36-48
  Electronic Edition (ACM DL) BibTeX
• Wei Jen Yeh, Michal Young:
  Compositional Reachability Analysis Using Process Algebra. 49-59
  Electronic Edition (ACM DL) BibTeX
• Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford:
  Dynamic Slicing in the Presence of Unconstrained Pointers. 60-73
  Electronic Edition (ACM DL) BibTeX
• Thomas J. Ostrand, Elaine J. Weyuker:
  Data Flow-Based Test Adequacy Analysis for Languages with Pointers. 74-86
  Electronic Edition (ACM DL) BibTeX
• Joseph Robert Horgan, Saul London:
  Data Flow Coverage and the C Language. 87-97
  Electronic Edition (ACM DL) BibTeX
• Rajiv Gupta, Madalene Spezialetti:
  Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races. 98-111
  Electronic Edition (ACM DL) BibTeX
• Carlo Ghezzi, Richard A. Kennerer:
  Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. 112-122
  Electronic Edition (ACM DL) BibTeX
• Sriram Sankar:
  Run-Time Consistency Checking of Algebraic Specifications. 123-129
  Electronic Edition (ACM DL) BibTeX
• Mary Jean Harrold:
  The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets. 130-138
  Electronic Edition (ACM DL) BibTeX
• Hemant D. Pande, William Landi:
  Interprocedural Def-Use Associations in C Programs. 139-153
  Electronic Edition (ACM DL) BibTeX
• Phyllis G. Frankl, Stewart N. Weiss:
  An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria. 154-164
  Electronic Edition (ACM DL) BibTeX
• Roong-Ko Doong, Phyllis G. Frankl:
  Case Studies on Testing Object-Oriented Programs. 165-177
  Electronic Edition (ACM DL) BibTeX
• George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
  Experiments with an Improved Constrained Expression Toolset. 178-187
  Electronic Edition (ACM DL) BibTeX
• William D. Young:
  Formal Methods versus Software Engineering: Is There a Conflict? 188-189
  Electronic Edition (ACM DL) BibTeX
• Brian Marick:
  The Weak Mutation Hypothesis. 190-199
  Electronic Edition (ACM DL) BibTeX
• A. Jefferson Offutt, Stephen D. Lee:
  How Strong is Weak Mutation? 200-213
  Electronic Edition (ACM DL) BibTeX