See this document in CiteSeerX!

chiSUDS-SDL: A Tool For Diagnosis and Understanding Software Specifications (1999)  (Make Corrections)  
J. Jenny Li, Saul London, Plinio Vilela, J. Robert Horgan



  Home/Search   Context   Related

 
View or download:
chillarege.com/fastabstract...99102.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  chillarege.com/fastabstrac...home (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper elaborates the underlying theory and illustrates the usage of these tools. (Update)

Active bibliography (related documents):   More   All
0.3:   Mining System Tests to Aid Software Maintenance - Agrawal, al. (1998)   (Correct)
0.2:   Efficient Instrumentation for Code Coverage Testing - Tikir, Hollingsworth (2002)   (Correct)
0.2:   Priority Based Data Flow Testing - Gupta, Soffa (1995)   (Correct)

Similar documents based on text:   More   All
0.3:   Integration of Architecture Specification, Testing and.. - Gokhale, Horgan, Trivedi (2002)   (Correct)
0.2:   Fault Localization using Execution Slices and Dataflow Tests - Agrawal, Horgan, London.. (1995)   (Correct)
0.2:   EcientCoverage Testing Using Global Dominator Graphs - Agrawal   (Correct)

BibTeX entry:   (Update)

@misc{ li-chisudssdl,
  author = "J. Jenny Li and Saul London and Plinio Vilela and J. Robert Horgan",
  title = "chiSUDS-SDL: A Tool For Diagnosis and Understanding Software Specifications",
  url = "citeseer.ist.psu.edu/li99chisudssdl.html" }
Citations (may not include all citations):
116   Programmers Use Slices When Debugging (context) - Weiser - 1982
7   Towards automatic software fault location through decision-t.. (context) - Collofello, Cousin - 1987
5   Dominators, Super Blocks, and Program Coverage - Agrawal - 1994

Documents on the same site (http://www.chillarege.com/fastabstracts/issre99/home.html):   More
Foundational Theory of Software Component Reliability - Dick Hamlet Portland   (Correct)
Verifying Modern Processors in Integrated Modular Avionics Systems - Bolduc (1999)   (Correct)
Spacecraft Reliability and Spatial Navigation - Cyrus Nourani Project   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC