The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Debra J. Richardson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chang Liu, Debra J. Richardson
    Using RAIC for Dependable On-line Upgrading of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:1006-1011 [Conf]
  2. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Reasoning About Software Architecture-Based Regression Testing Through a Case Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:189-195 [Conf]
  3. Lihua Xu, Marcio S. Dias, Debra J. Richardson
    Generating Regression Tests via Model Checking. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:336-341 [Conf]
  4. Juei Chang, Debra J. Richardson
    Structural Specification-Based Testing: Automated Support and Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:285-302 [Conf]
  5. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Systematic Testing of Software Architectures in the C2 Style. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:295-309 [Conf]
  6. Leila Naslavsky, Marcio S. Dias, Debra J. Richardson
    Multiply-deployed residual testing at the object level. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:396-401 [Conf]
  7. Lihua Xu, Marcio S. Dias, Debra J. Richardson
    Regression testing via model checking. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:402-407 [Conf]
  8. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
    A Comparison of Data Flow Path Selection Criteria. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:244-251 [Conf]
  9. Marcio S. Dias, Debra J. Richardson
    Adaptable Analysis of Dependable System Architectures Through Monitoring. [Citation Graph (0, 0)][DBLP]
    WADS, 2004, pp:122-147 [Conf]
  10. Nancy S. Eickelmann, Debra J. Richardson
    An Evaluation of Software Test Environment Architectures. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:353-364 [Conf]
  11. André van der Hoek, David G. Kay, Debra J. Richardson
    A B.S. degree in informatics: contextualizing software engineering education. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:641-642 [Conf]
  12. Chang Liu, Debra J. Richardson
    Using application states in software testing (poster). [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:776- [Conf]
  13. Chang Liu, En Ye, Debra J. Richardson
    LtRules: an automated software library usage rule extraction tool. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:823-826 [Conf]
  14. Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
    Specification-Based Test Oracles for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:105-118 [Conf]
  15. Debra J. Richardson, Lori A. Clarke
    A Partition Analysis Method to Increase Program Reliability. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:244-253 [Conf]
  16. Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
    Analyzing software architectures with Argus-I. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:758-761 [Conf]
  17. André van der Hoek, David G. Kay, Debra J. Richardson
    Informatics: A Novel, Contextualized Approach to Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    Software Education and Training Sessions @ ICSE, 2005, pp:147-165 [Conf]
  18. Hadar Ziv, Debra J. Richardson
    Constructing Bayesian-network models of software testing and maintenance uncertainties. [Citation Graph (0, 0)][DBLP]
    ICSM, 1997, pp:100-0 [Conf]
  19. Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
    The Most Influential Papers from the ISSTA Research Community (Panel). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:49- [Conf]
  20. Juei Chang, Debra J. Richardson, Sriram Sankar
    Structural Specification-Based Testing with ADL. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:62-70 [Conf]
  21. Debra J. Richardson
    TAOS: Testing with Analysis and Oracle Support. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:138-153 [Conf]
  22. Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil
    Integrating Testing Techniques Through Process Programming. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:219-228 [Conf]
  23. Debra J. Richardson, T. Owen O'Malley, C. Tittle
    Approaches to Specification-Based Testing. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:86-96 [Conf]
  24. 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]
  25. Juei Chang, Debra J. Richardson
    ADLscope: An Automated Specification-based Unit Testing Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:289-292 [Conf]
  26. Marcio S. Dias, Debra J. Richardson
    Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:245-248 [Conf]
  27. Chang Liu, Debra J. Richardson
    Automated Security Checking and Patching Using TestTalk. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:261-264 [Conf]
  28. Chang Liu, Debra J. Richardson
    Towards Discovery, Specification, and Verification of Component Usage. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:331-334 [Conf]
  29. Chang Liu, En Ye, Debra J. Richardson
    Software Library Usage Pattern Extraction Using a Software Model Checker. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:301-304 [Conf]
  30. Arthur Alexander Reyes, Debra J. Richardson
    Specification-based Testing of Ada Units with Low Encapsulation. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:22-31 [Conf]
  31. Arthur Alexander Reyes, Debra J. Richardson
    Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:81-0 [Conf]
  32. Marlon E. R. Vieira, Debra J. Richardson
    Analyzing Dependencies in Large Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:241-244 [Conf]
  33. Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson
    An Automated Approach for Goal-driven, Specification-based Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:289-292 [Conf]
  34. Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
    TEAM: A Support Environment for Testing, Evaluation, and Analysis. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:153-162 [Conf]
  35. David G. Kay, André van der Hoek, Debra J. Richardson
    Informatics: a focus on computer science in context. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:551-555 [Conf]
  36. Yuewei Zhou, Hadar Ziv, Debra J. Richardson
    Towards A Practical Approach to Test Aspect-Oriented Software. [Citation Graph (0, 0)][DBLP]
    SOQUA/TECOS, 2004, pp:1-16 [Conf]
  37. Lori A. Clarke, Debra J. Richardson
    Applications of symbolic evaluation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1985, v:5, n:1, pp:15-35 [Journal]
  38. Lihua Xu, Hadar Ziv, Thomas A. Alspaugh, Debra J. Richardson
    An architectural pattern for non-functional dependability requirements. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1370-1378 [Journal]
  39. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Software architecture-based regression testing. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1379-1396 [Journal]
  40. Lori A. Clarke, Johnette Hassell, Debra J. Richardson
    A Close Look at Domain Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:4, pp:380-390 [Journal]
  41. Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
    A Formal Evaluation of Data Flow Path Selection Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1318-1332 [Journal]
  42. Debra J. Richardson, Lori A. Clarke
    Partition Analysis: A Method Combining Testing and Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:12, pp:1477-1490 [Journal]
  43. Debra J. Richardson, Margaret C. Thompson
    An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:6, pp:533-553 [Journal]
  44. Marcio S. Dias, Debra J. Richardson
    The Role of Event Description in Architecting Dependable Systems. [Citation Graph (0, 0)][DBLP]
    WADS, 2002, pp:150-174 [Conf]
  45. Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson
    In the Requirements Lies the Power. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:185-190 [Conf]
  46. David G. Kay, André van der Hoek, Debra J. Richardson
    Extending undergraduate CS programs with informatics: emphasizing software and system design in context. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:367- [Conf]

  47. Formality of the Security Specification Process: Benefits Beyond Requirements. [Citation Graph (, )][DBLP]


  48. Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios. [Citation Graph (, )][DBLP]


  49. Using Model Transformation to Support Model-Based Test Coverage Measurement. [Citation Graph (, )][DBLP]


  50. A model-based regression test selection technique. [Citation Graph (, )][DBLP]


  51. Towards supporting the architecture design process through evaluation of design alternatives. [Citation Graph (, )][DBLP]


  52. Architecture-based testing using goals and plans. [Citation Graph (, )][DBLP]


  53. ASSURE: automated support for secure and usable requirements engineering. [Citation Graph (, )][DBLP]


  54. Towards leveraging model transformation to support model-based testing. [Citation Graph (, )][DBLP]


  55. Using traceability to support model-based regression testing. [Citation Graph (, )][DBLP]


  56. Eliciting required characteristics for usable requirements engineering approaches. [Citation Graph (, )][DBLP]


  57. Design and evaluation of a computer science and engineering course for middle school girls. [Citation Graph (, )][DBLP]


  58. Later stages support for security requirements. [Citation Graph (, )][DBLP]


  59. Towards traceability of model-based testing artifacts. [Citation Graph (, )][DBLP]


  60. Statistical Sampling Based Approach to Alleviate Log Replay Testing. [Citation Graph (, )][DBLP]


  61. MbSRT2: Model-Based Selective Regression Testing with Traceability. [Citation Graph (, )][DBLP]


  62. CCARCH: Architecting Common Criteria Security Requirements. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
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