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