The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Will Tracz
    Test and Analysis of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:1-3 [Conf]
  2. Inhye Kang, Insup Lee
    An Efficient State Space Generation for Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:4-13 [Conf]
  3. Pramod V. Koppol, Kuo-Chung Tai
    An Incremental Approach to Structural Testing of Concurrent Software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:14-23 [Conf]
  4. A. T. Chamillard, Lori A. Clarke
    Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:24-38 [Conf]
  5. Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
    Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:39-52 [Conf]
  6. Merlin Hughes, P. David Stotts
    Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:53-61 [Conf]
  7. Juei Chang, Debra J. Richardson, Sriram Sankar
    Structural Specification-Based Testing with ADL. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:62-70 [Conf]
  8. James L. Crowley, James F. Leathrum, K. A. Liburdy
    Issues in the Full Scale Use of Formal Methods for Automated Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:71-78 [Conf]
  9. Mats Per Erik Heimdahl
    Experiences and Lessons from the Analysis of TCAS II. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:79-83 [Conf]
  10. Richard G. Hamlet
    Predicting Dependability by Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:84-91 [Conf]
  11. Larry J. Morell, Branson W. Murrill
    Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:92-97 [Conf]
  12. William E. Howden, G. M. Shi
    Linear and Structural Event Sequence Analysis. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:98-106 [Conf]
  13. Mary Jean Harrold, Gregg Rothermel
    Separate Computation of Alias Information for Reuse. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:107-120 [Conf]
  14. Richard A. DeMillo, Hsin Pan, Eugene H. Spafford
    Critical Slicing for Software Fault Localization. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:121-134 [Conf]
  15. Delia I. S. Marx, Phyllis G. Frankl
    The Path-Wise Approach to Data Flow Testing with Pointer Variables. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:135-146 [Conf]
  16. Martina Marré, Antonia Bertolino
    Unconstrained Duals and Their Use in Achieving All-Uses Coverage. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:147-157 [Conf]
  17. Murial Daran, Pascale Thévenod-Fosse
    Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:158-171 [Conf]
  18. Mauro Pezzè, Michal Young
    Generation of Multi-Formalism State-Space Analysis Tools. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:172-179 [Conf]
  19. Anthony M. Sloane, Jason Holdsworth
    Beyond Traditional Program Slicing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:180-186 [Conf]
  20. John R. Callahan, Todd L. Montgomery
    An Approach to Verification and Validation of a Reliable Multicasting Protocol. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:187-194 [Conf]
  21. A. Jefferson Offutt, Jane Huffman Hayes
    A Semantic Model of Program Faults. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:195-200 [Conf]
  22. Cheer-Sun D. Yang, Lori L. Pollock
    Towards a Structural Load Testing Tool. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:201-208 [Conf]
  23. Bogdan Korel
    Automated Test Data Generation for Programs with Procedures. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:209-215 [Conf]
  24. Keith P. Pomakis, Joanne M. Atlee
    Reachability Analysis of Feature Interactions: A Progress Report. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:216-223 [Conf]
  25. Tevfik Bultan, Jeffrey Fischer, Richard Gerber
    Compositional Verification by Model Checking for Counter-Examples. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:224-238 [Conf]
  26. Daniel Jackson, Craig Damon
    Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:239-249 [Conf]
  27. James C. Corbett
    Constructing Abstract Models of Concurrent Real-Time Software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:250-260 [Conf]
  28. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
    Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:261-269 [Conf]
  29. Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
    Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:270-279 [Conf]
  30. Joanne M. Atlee, Michael A. Buckley
    A Logic-Model Semantics for SCR Software Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:280-292 [Conf]
  31. Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia
    Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:293- [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