Papers

From SEWiki

Contents 1 In Progress 2 Refereed Journals 3 Refereed Conferences 4 Refereed Workshops 5 Unrefereed Publications

In Progress

• David Coppit, Robert Painter, and Meghan Revelle. Software Plans: A Multidimensional Approach for Fine-Grained Tangling of Concerns in Code.
• Meghan Revelle and David Coppit. Reverse Engineering Software Plans Using Formal Concept Analysis.
• David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan, and Yong Ou. A formally-based algorithm for solving dynamic fault trees.

Refereed Journals

• David Coppit. Implementing Large Projects in Software Engineering Courses. Computer Science Education, 16(1):53-73, March 2006.
• David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, and Kevin Sullivan. Software Assurance by Bounded Exhaustive Testing. IEEE Transactions on Software Engineering, 31(4):328-39, April 2005.
• Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a low-cost high-quality software tool for dynamic fault tree analysis. Transactions on Reliability, March 2000, pages 49-59.

Refereed Conferences

• David Coppit, Robert Painter, and Meghan Revelle. Spotlight: A Prototype Tool for Software Plans. In Proceedings of 2007 the International Conference on Software Engineering, pages 754-757, Minneapolis, Minnesota, 20-26 May 2007.
• David Coppit and Jeixin Lian. yagg: An Easy-To-Use Generator for Structured Test Inputs. In 20th IEEE/ACM International Conference on Automated Software Engineering, pages 356-359, Long Beach, California, 7-11 November 2005.
• David Coppit and Jennifer M. Haddox-Schatz. Large Team Projects in Software Engineering Courses. In Proceedings of the 36th ACM Technical Symposium on Computer Science Education, St. Louis, Missouri, 23-27 February 2005.
• David Coppit and Robert R. Painter. High-level reliability languages using a general intermediate domain. In Proceedings of the 51st Annual Reliability and Maintainability Symposium, Alexandria, Virginia, 24-27 January 2005. IEEE.
• Kevin Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid and Daniel Jackson. Software Assurance by Bounded Exhaustive Testing. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusettes, 11-14 July 2004. IEEE.
• David Coppit, Robert R. Painter, and Kevin J. Sullivan. Shared Semantic Domains for Computational Reliability Engineering. In Proceedings of the International Symposium on Software Reliability Engineering, pages 168-180, Denver, Colorado, 17-20 November 2003. IEEE.
• David Coppit and Kevin J. Sullivan, Sound Methods and Effective Tools for Engineering Modeling and Analysis, In Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, May 2003. IEEE.
• David Coppit, Kevin J. Sullivan, and Joanne Bechta Dugan. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees. In Proceedings of the International Symposium on Software Reliability Engineering, pages 270-282, San Jose, California, 8-11 October 2000. IEEE.
• David Coppit and Kevin J. Sullivan. Galileo: A tool built from mass-market applications. In Proceedings of the 22nd International Conference on Software Engineering, pages 750-3, Limerick, Ireland, 4-11 June 2000. IEEE.
• David Coppit and Kevin J. Sullivan. Multiple mass-market applications as components. In Proceedings of the 22nd International Conference on Software Engineering, pages 273-82, Limerick, Ireland, 4-11 June 2000. IEEE.
• Joanne Bechta Dugan, Kevin J. Sullivan, and David Coppit. Developing a high-quality software tool for fault tree analysis. In Proceedings of the International Symposium on Software Reliability Engineering, pages 222-31, Boca Raton, Florida, 1-4 November 1999. IEEE.
• Kevin J. Sullivan, David Coppit, and Joanne Bechta Dugan. The Galileo Fault Tree Analysis Tool. In Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, pages 232-5, Madison, Wisconsin, 15-18 June 1999. IEEE.
• David Coppit and Kevin J. Sullivan. Formal specification in collaborative design of critical software tools. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 13-20, Washington, D.C., 13-14 November 1998. IEEE.
• Ragavan Manian, Joanne Bechta Dugan, David Coppit, and Kevin Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 21-28, Washington, D.C., 13-14 November 1998. IEEE.
• Ragavan Manian, David Coppit, Kevin Sullivan, and Joanne Bechta Dugan. Bridging the gap between systems and dynamic fault tree models. In Annual Reliability and Maintainability Symposium 1999 Proceedings, pages 105-11, Washington, DC, USA, 18-21 January 1999
• Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang and David Coppit, Package-Oriented Programming of Engineering Tools, Formal Research Demonstration, In Proceedings of the 19th International Conference on Software Engineering (ICSE 97), Boston, Massachusetts, May 1997. IEEE.

Refereed Workshops

• John A. Murphy and David Coppit. Random Generation of Test Inputs for Implicitly Defined Subdomains. In Proceedings, ICSE 2007 Workshops: Second International Workshop on Automation of Software Test, pages 13-16, Minneapolis, Minnesota, 26 May 2007.
• Robert R. Painter and David Coppit. A Model for Software Plans. In Proceedings of the First International Workshop on the Modeling and Analysis of Concerns in Software, pages 14-18, St. Louis, Missouri, 16 May 2005.
• Meghan Revelle, Tiffany Broadbent, and David Coppit. Understanding Concerns in Software: Insights Gained from Two Case Studies. In Proceedings of 13th IEEE International Workshop on Program Comprehension, pages 23-32, St. Louis, Missouri, 15-16 May 2005.
• David Coppit and Jennifer M. Haddox-Schatz. On the use of specification-based assertions as test oracles. In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop. Greenbelt, Maryland, 6-7 April 2005.
• David Coppit and Benjamin Cox, Software Plans for Separation of Concerns, In Proceedings of the Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2004), Lancaster, UK, 22 March, 2004.

Unrefereed Publications

• David Coppit. yagg: Implementation and Evaluation. Technical Report WM-CS-2005-13, Department of Computer Science, The College of William and Mary, Williamsburg, Virginia, November 2005.
• David Coppit. Practical Techniques for Automated Specification-Based Testing. Invited paper to the Virginia Summit on Secure and Dependable Computing Systems, April 20-21 2005.
• David Coppit. Engineering Modeling and Analysis: Sound Methods and Effective Tools. Ph.D Dissertation. January 2003.
• David Coppit and Kevin J. Sullivan. Unwrapping. Technical Report CS-97-17, Dept. of Computer Science, Univ. of Virginia, July 1997.