David Coppit

Publication Activity (10 Years)

Years Active: 1997-2007
Publications (10 Years): 0

Publications

John A. Murphy, David Coppit
Random Generation of Test Inputs for Implicitly Defined Subdomains. AST (2007)
David Coppit, Robert R. Painter, Meghan Revelle
Spotlight: A Prototype Tool for Software Plans. ICSE (2007)
David Coppit
Implementing large projects in software engineering courses. Comput. Sci. Educ. 16 (1) (2006)
David Coppit, Jiexin Lian
yagg: an easy-to-use generator for structured test inputs. ASE (2005)
Robert R. Painter, David Coppit
A model for software plans. MACS@ICSE (2005)
David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31 (4) (2005)
David Coppit, Jennifer M. Haddox-Schatz
Large team projects in software engineering courses. SIGCSE (2005)
David Coppit, Jennifer M. Haddox-Schatz
On the Use of Specification-Based Assertions as Test Oracles. SEW (2005)
Meghan Revelle, Tiffany Broadbent, David Coppit
Understanding Concerns in Software: Insights Gained from Two Case Studies. IWPC (2005)
Robert R. Painter, David Coppit
A model for software plans. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
Software assurance by bounded exhaustive testing. ISSTA (2004)
David Coppit, Robert R. Painter, Kevin J. Sullivan
Shared Semantic Domains for Computational Reliability Engineering. ISSRE (2003)
David Coppit, Kevin J. Sullivan
Sound Methods and Effective Tools for Engineering Modeling and Analysis. ICSE (2003)
David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE (2000)
David Coppit, Kevin J. Sullivan
Multiple mass-market applications as components. ICSE (2000)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49 (1) (2000)
David Coppit, Kevin J. Sullivan
Galileo: a tool built from mass-market applications. ICSE (2000)
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit
The Galileo Fault Tree Analysis Tool. FTCS (1999)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a high-quality software tool for fault tree analysis. ISSRE (1999)
Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. HASE (1998)
David Coppit, Kevin J. Sullivan
Formal Specification in Collaborative Design of Critical Software Tools. HASE (1998)
Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit
Package-Oriented Programming of Engineering Tools. ICSE (1997)