Conferences in DBLP

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

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