Package-Oriented Programming of Engineering Tools. - Kevin J. Sullivan; Jake Cockrell; Shengtong Zhang; David Coppit (ICSE, 1997)

Formal Specification in Collaborative Design of Critical Software Tools. - David Coppit; Kevin J. Sullivan (HASE, 1998)

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. - Ragavan Manian; Joanne Bechta Dugan; David Coppit; Kevin J. Sullivan (HASE, 1998)

The Galileo Fault Tree Analysis Tool. - Kevin J. Sullivan; Joanne Bechta Dugan; David Coppit (FTCS, 1999)

Developing a high-quality software tool for fault tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (ISSRE, 1999)

Multiple mass-market applications as components. - David Coppit; Kevin J. Sullivan (ICSE, 2000)

Galileo: a tool built from mass-market applications. - David Coppit; Kevin J. Sullivan (ICSE, 2000)

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. - David Coppit; Kevin J. Sullivan; Joanne Bechta Dugan (ISSRE, 2000)

Developing a low-cost high-quality software tool for dynamic fault-tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (IEEE Trans. Reliab., 2000)

Sound Methods and Effective Tools for Engineering Modeling and Analysis. - David Coppit; Kevin J. Sullivan (ICSE, 2003)

Shared Semantic Domains for Computational Reliability Engineering. - David Coppit; Robert R. Painter; Kevin J. Sullivan (ISSRE, 2003)

Software assurance by bounded exhaustive testing. - Kevin J. Sullivan; Jinlin Yang; David Coppit; Sarfraz Khurshid; Daniel Jackson 001 (ISSTA, 2004)

Understanding Concerns in Software: Insights Gained from Two Case Studies. - Meghan Revelle; Tiffany Broadbent; David Coppit (IWPC, 2005)

yagg: an easy-to-use generator for structured test inputs. - David Coppit; Jiexin Lian (ASE, 2005)

On the Use of Specification-Based Assertions as Test Oracles. - David Coppit; Jennifer M. Haddox-Schatz (SEW, 2005)

Large team projects in software engineering courses. - David Coppit; Jennifer M. Haddox-Schatz (SIGCSE, 2005)

A model for software plans. - Robert R. Painter; David Coppit (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software Assurance by Bounded Exhaustive Testing. - David Coppit; Jinlin Yang; Sarfraz Khurshid; Wei Le; Kevin J. Sullivan (IEEE Trans. Software Eng., 2005)

Implementing large projects in software engineering courses. - David Coppit (Comput. Sci. Educ., 2006)

Spotlight: A Prototype Tool for Software Plans. - David Coppit; Robert R. Painter; Meghan Revelle (ICSE, 2007)

Random Generation of Test Inputs for Implicitly Defined Subdomains. - John A. Murphy; David Coppit (AST, 2007)