Conferences in DBLP

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

1. Ana Milanova, Atanas Rountev, Barbara G. Ryder
   Parameterized object sensitivity for points-to and side-effect analyses for Java. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:1-11 [Conf]
   
2. Alex Groce, Willem Visser
   Model checking Java programs using structural heuristics. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:12-21 [Conf]
   
3. Donglin Liang, Maikel Pennings, Mary Jean Harrold
   Evaluating the precision of static reference analysis using profiling. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:22-32 [Conf]
   
4. Gleb Naumovich
   A conservative algorithm for computing the flow of permissions in Java programs. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:33-43 [Conf]
   
5. Scott D. Stoller
   Domain partitioning for open reactive systems. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:44-54 [Conf]
   
6. Thomas J. Ostrand, Elaine J. Weyuker
   The distirubtion of faults in a large industrial software system. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:55-64 [Conf]
   
7. Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton
   Gamma system: continuous evolution of software after deployment. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:65-69 [Conf]
   
8. Lionel C. Briand, Yvan Labiche, Hong Sun
   Investigating the use of analysis contracts to support fault isolation in object oriented code. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:70-80 [Conf]
   
9. Martin Hiller, Arshad Jhumka, Neeraj Suri
   PROPANE: an environment for examining the propagation of errors in software. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:81-85 [Conf]
   
10. Mustafa M. Tikir, Jeffrey K. Hollingsworth
    Efficient instrumentation for code coverage testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:86-96 [Conf]
    
11. Amitabh Srivastava, Jay Thiagarajan
    Effectively prioritizing tests in development environment. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:97-106 [Conf]
    
12. Boris Vaysburg, Luay Ho Tahat, Bogdan Korel
    Dependence analysis in reduction of requirement based test suites. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:107-111 [Conf]
    
13. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Generating finite state machines from abstract state machines. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:112-122 [Conf]
    
14. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
    Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:123-133 [Conf]
    
15. G. Friedman, A. Hartman, K. Nagin, T. Shiran
    Projected state machine coverage for software testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:134-143 [Conf]
    
16. Diego Latella, Mieke Massink
    On testing and conformance relations for UML statechart diagrams behaviours. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:144-153 [Conf]
    
17. Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri
    Experiences in automating the testing of SS7 signalling transfer points. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:154-158 [Conf]
    
18. Rachel Cardell-Oliver
    Conformance test experiments for distributed real-time systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:159-163 [Conf]
    
19. Yung-Pin Cheng
    Refactoring design models for inductive verification. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:164-168 [Conf]
    
20. Tuba Yavuz-Kahveci, Tevfik Bultan
    Specification, verification, and synthesis of concurrency control components. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:169-179 [Conf]
    
21. Peter G. Bishop
    Rescaling reliability bounds for a new operational profile. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:180-190 [Conf]
    
22. Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou
    Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:191-195 [Conf]
    
23. Dick Hamlet
    Continuity in sofware systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:196-200 [Conf]
    
24. Antonia Bertolino
    ISSTA 2002 panel: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:201-202 [Conf]
    
25. Vincent Encontre
    Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:203-204 [Conf]
    
26. A. Hartman
    Is ISSTA research relevant to industry? [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:205-206 [Conf]
    
27. Emilia Peciola
    Ericsson lab Italy: is ISSTA research relevant to industrial users? [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:207- [Conf]
    
28. Ashok Sreenivas
    Panel discussion: is ISSTA testing research relevant to industrial users? [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:208-209 [Conf]
    
29. Jong-Deok Choi, Andreas Zeller
    Isolating failure-inducing thread schedules. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:210-220 [Conf]
    
30. John Whaley, Michael C. Martin, Monica S. Lam
    Automatic extraction of object-oriented component interfaces. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:218-228 [Conf]
    
31. Jeremy W. Nimmer, Michael D. Ernst
    Automatic generation of program specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:229-239 [Conf]