Conferences in DBLP

International Symposium on Software Testing and Analysis (ISSTA) (issta)
1998 (conf/issta/98)

1. James C. Corbett
   Constructing Compact Models of Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:1-10 [Conf]
   
2. Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha
   Computation of Interprocedural Control Dependence. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:11-20 [Conf]
   
3. Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
   Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:21-31 [Conf]
   
4. Brian Mitchell, Steven J. Zeil
   An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:32-41 [Conf]
   
5. Simeon C. Ntafos
   On Random and Partition Testing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:42-48 [Conf]
   
6. Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
   The Most Influential Papers from the ISSTA Research Community (Panel). [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:49- [Conf]
   
7. Richard G. Hamlet
   What Can We Learn by Testing a Program? [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:50-52 [Conf]
   
8. Arnaud Gotlieb, Bernard Botella, Michel Rueher
   Automatic Test Data Generation Using Constraint Solving Techniques. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:53-62 [Conf]
   
9. Ákos Hajnal, István Forgács
   An Applicable Test Data Generation Algorithm for Domain Errors. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1998, pp:63-72 [Conf]
   
10. Nigel Tracey, John A. Clark, Keith Mander
    Automated Program Flaw Finding Using Simulated Annealing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:73-81 [Conf]
    
11. Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia
    A Visual Test Development Environment for GUI Systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:82-92 [Conf]
    
12. Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna
    Automatic Interoperability Test Generation for Source-to-Source Translators. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:93-101 [Conf]
    
13. William Chan, Richard J. Anderson, Paul Beame, David Notkin
    Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:102-112 [Conf]
    
14. Tevfik Bultan, Richard Gerber, Christopher League
    Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:113-123 [Conf]
    
15. Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
    Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:124-133 [Conf]
    
16. Thomas Ball
    On the Limit of Control Flow Analysis for Regression Test Selection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:134-142 [Conf]
    
17. Bogdan Korel, Ali M. Al-Yami
    Automated Regression Test Generation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:143-152 [Conf]
    
18. Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock
    All-du-path Coverage for Parallel Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:153-162 [Conf]