David Coppit

According to our database, David Coppit authored at least 21 papers between 1997 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Random Generation of Test Inputs for Implicitly Defined Subdomains.

John A. Murphy, David Coppit

Proceedings of the Second International Workshop on Automation of Software Test, 2007

Spotlight: A Prototype Tool for Software Plans.

David Coppit, Robert R. Painter, Meghan Revelle

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Implementing large projects in software engineering courses.

David Coppit

Comput. Sci. Educ., 2006

2005

Software Assurance by Bounded Exhaustive Testing.

David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan

IEEE Trans. Software Eng., 2005

A model for software plans.

Robert R. Painter, David Coppit

ACM SIGSOFT Softw. Eng. Notes, 2005

Large team projects in software engineering courses.

David Coppit, Jennifer M. Haddox-Schatz

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

On the Use of Specification-Based Assertions as Test Oracles.

David Coppit, Jennifer M. Haddox-Schatz

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

yagg: an easy-to-use generator for structured test inputs.

David Coppit, Jiexin Lian

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Understanding Concerns in Software: Insights Gained from Two Case Studies.

Meghan Revelle, Tiffany Broadbent, David Coppit

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

2004

Software assurance by bounded exhaustive testing.

Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Shared Semantic Domains for Computational Reliability Engineering.

David Coppit, Robert R. Painter, Kevin J. Sullivan

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Sound Methods and Effective Tools for Engineering Modeling and Analysis.

David Coppit, Kevin J. Sullivan

Proceedings of the 25th International Conference on Software Engineering, 2003

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

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.

David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Galileo: a tool built from mass-market applications.

David Coppit, Kevin J. Sullivan

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Multiple mass-market applications as components.

David Coppit, Kevin J. Sullivan

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Developing a high-quality software tool for fault tree analysis.

Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

The Galileo Fault Tree Analysis Tool.

Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems.

Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

Formal Specification in Collaborative Design of Critical Software Tools.

David Coppit, Kevin J. Sullivan

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Package-Oriented Programming of Engineering Tools.

Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit

Proceedings of the Pulling Together, 1997