Symposium on Testing, Analysis, and Verification

Keyphrases

Publications

1991

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

1989