The SCEAS System
Navigation Menu

Search the dblp DataBase


David Coppit: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit
    The Galileo Fault Tree Analysis Tool. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:232-235 [Conf]
  2. David Coppit, Kevin J. Sullivan
    Formal Specification in Collaborative Design of Critical Software Tools. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:13-20 [Conf]
  3. Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
    Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:21-28 [Conf]
  4. David Coppit, Kevin J. Sullivan
    Multiple mass-market applications as components. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:273-282 [Conf]
  5. David Coppit, Kevin J. Sullivan
    Galileo: a tool built from mass-market applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:750-753 [Conf]
  6. David Coppit, Kevin J. Sullivan
    Sound Methods and Effective Tools for Engineering Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:198-209 [Conf]
  7. Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit
    Package-Oriented Programming of Engineering Tools. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:616-617 [Conf]
  8. David Coppit, Robert R. Painter, Meghan Revelle
    Spotlight: A Prototype Tool for Software Plans. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:754-757 [Conf]
  9. David Coppit, Robert R. Painter, Kevin J. Sullivan
    Shared Semantic Domains for Computational Reliability Engineering. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:169-180 [Conf]
  10. David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
    Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:270-282 [Conf]
  11. Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
    Software assurance by bounded exhaustive testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:133-142 [Conf]
  12. Meghan Revelle, Tiffany Broadbent, David Coppit
    Understanding Concerns in Software: Insights Gained from Two Case Studies. [Citation Graph (0, 0)][DBLP]
    IWPC, 2005, pp:23-32 [Conf]
  13. David Coppit, Jiexin Lian
    yagg: an easy-to-use generator for structured test inputs. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:356-359 [Conf]
  14. David Coppit, Jennifer M. Haddox-Schatz
    Large team projects in software engineering courses. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:137-141 [Conf]
  15. David Coppit, Jennifer M. Haddox-Schatz
    On the Use of Specification-Based Assertions as Test Oracles. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:305-314 [Conf]
  16. David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
    Software Assurance by Bounded Exhaustive Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:4, pp:328-339 [Journal]

  17. Random Generation of Test Inputs for Implicitly Defined Subdomains. [Citation Graph (, )][DBLP]

Search in 0.136secs, Finished in 0.138secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002