| 2007 | ICSE | Spotlight: A Prototype Tool for Software Plans. | David Coppit, Robert R. Painter, Meghan Revelle |
| 2007 | ICSE | Random Generation of Test Inputs for Implicitly Defined Subdomains. | John A. Murphy, David Coppit |
| 2005 | ICSE | A model for software plans. | Robert R. Painter, David Coppit |
| 2005 | SIGCSE | Large team projects in software engineering courses. | David Coppit, Jennifer M. Haddox-Schatz |
| 2005 | SEW | On the Use of Specification-Based Assertions as Test Oracles. | David Coppit, Jennifer M. Haddox-Schatz |
| 2004 | ISSTA | Software assurance by bounded exhaustive testing. | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
| 2003 | ICSE | Sound Methods and Effective Tools for Engineering Modeling and Analysis. | David Coppit, Kevin J. Sullivan |
| 2003 | ISSRE | Shared Semantic Domains for Computational Reliability Engineering. | David Coppit, Robert R. Painter, Kevin J. Sullivan |
| 2000 | ICSE | Multiple mass-market applications as components. | David Coppit, Kevin J. Sullivan |
| 2000 | ICSE | Galileo: a tool built from mass-market applications. | David Coppit, Kevin J. Sullivan |
| 2000 | ISSRE | Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. | David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan |
| 1999 | ISSRE | Developing a high-quality software tool for fault tree analysis. | Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit |
| 1997 | ICSE | Package-Oriented Programming of Engineering Tools. | Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit |