The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Manuel Blum
    Designing Programs to Check Their Work (Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:1- [Conf]
  2. Denise M. Woit
    Specifying Operational Profiles for Modules. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:2-10 [Conf]
  3. Phil Stocks, David A. Carrington
    Test Template Framework: A Specification-Based Testing Case Study. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:11-18 [Conf]
  4. Daniel Jackson
    Abstract Analysis with Aspect. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:19-27 [Conf]
  5. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
    Analyzing Refinements of State Based Specifications: The Case of TB Nets. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:28-39 [Conf]
  6. David L. Levine, Richard N. Taylor
    Metric-Driven Reengineering for Static Concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:40-50 [Conf]
  7. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
    Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:51-60 [Conf]
  8. Peter A. Vogel
    An Integrated General Purpose Automated Test Environment. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:61-69 [Conf]
  9. Fevzi Belli, Oliver Jack
    Implementation-Based Analysis and Testing of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:70-80 [Conf]
  10. Ronald W. Modes
    Structured IV&V for the Space Shuttle Flight Software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:81- [Conf]
  11. Alberto Avritzer, Brian Larson
    Load Testing Software Using Deterministic State Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:82-88 [Conf]
  12. Richard G. Hamlet, Jeffrey M. Voas
    Faults on Its Sleeve: Amplifying Software Reliability Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:89-98 [Conf]
  13. Pascale Thévenod-Fosse, Hélène Waeselynck
    STATEMATE Applied to Statistical Software Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:99-109 [Conf]
  14. James C. Corbett, George S. Avrunin
    A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:110-116 [Conf]
  15. Joanne M. Atlee, John D. Gannon
    Analyzing Timing Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:117-127 [Conf]
  16. Alberto Coen-Porisini, Richard A. Kemmerer
    The Composability of ASTRAL Realtime Specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:128-138 [Conf]
  17. Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold
    Mutation Analysis Using Mutant Schemata. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:139-148 [Conf]
  18. Stewart N. Weiss, Vladimir N. Fleyshgakker
    Improved Serial Algorithms for Mutation Analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:149-158 [Conf]
  19. Edward F. Miller
    Exploitation of Software Test Technology (Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:159- [Conf]
  20. Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel
    Efficient Construction of Program Dependence Graphs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:160-170 [Conf]
  21. Tarak Goradia
    Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:171-181 [Conf]
  22. Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke
    An Information Flow Model of Fault Detection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:182-192 [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