Conferences in DBLP

International Symposium on Software Testing and Analysis (ISSTA) (issta)
1991 ()

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