David Coppit

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