The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002