default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTAV 1991: Victoria, British Columbia, Canada
- William E. Howden:
Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991, Victoria, British Columbia, Canada, October 8-10, 1991. ACM 1991, ISBN 0-89791-449-X - Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet:
Comparison of Program Testing Strategies. 1-10 - Andy Podgurski:
Reliability, Sampling, and Algorithmic Randomness. 11-20 - Douglas L. Long, Lori A. Clarke:
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. 21-35 - Evelyn Duesterwald, Mary Lou Soffa:
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. 36-48 - Wei Jen Yeh, Michal Young:
Compositional Reachability Analysis Using Process Algebra. 49-59 - Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford:
Dynamic Slicing in the Presence of Unconstrained Pointers. 60-73 - Thomas J. Ostrand, Elaine J. Weyuker:
Data Flow-Based Test Adequacy Analysis for Languages with Pointers. 74-86 - Joseph Robert Horgan, Saul London:
Data Flow Coverage and the C Language. 87-97 - Rajiv Gupta
, Madalene Spezialetti:
Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races. 98-111 - Carlo Ghezzi, Richard A. Kennerer:
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. 112-122 - Sriram Sankar:
Run-Time Consistency Checking of Algebraic Specifications. 123-129 - Mary Jean Harrold:
The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets. 130-138 - Hemant D. Pande, William Landi:
Interprocedural Def-Use Associations in C Programs. 139-153 - Phyllis G. Frankl, Stewart N. Weiss:
An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria. 154-164 - Roong-Ko Doong, Phyllis G. Frankl:
Case Studies on Testing Object-Oriented Programs. 165-177 - George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Experiments with an Improved Constrained Expression Toolset. 178-187 - William D. Young:
Formal Methods versus Software Engineering: Is There a Conflict? 188-189 - Brian Marick:
The Weak Mutation Hypothesis. 190-199 - A. Jefferson Offutt, Stephen D. Lee:
How Strong is Weak Mutation? 200-213
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-15 23:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
