David Coppit

	2007
18		John A. Murphy, David Coppit: Random Generation of Test Inputs for Implicitly Defined Subdomains. AST 2007: 69-72
17		David Coppit, Robert R. Painter, Meghan Revelle: Spotlight: A Prototype Tool for Software Plans. ICSE 2007: 754-757
	2005
16		David Coppit, Jiexin Lian: yagg: an easy-to-use generator for structured test inputs. ASE 2005: 356-359
15		Meghan Revelle, Tiffany Broadbent, David Coppit: Understanding Concerns in Software: Insights Gained from Two Case Studies. IWPC 2005: 23-32
14		David Coppit, Jennifer M. Haddox-Schatz: On the Use of Specification-Based Assertions as Test Oracles. SEW 2005: 305-314
13		David Coppit, Jennifer M. Haddox-Schatz: Large team projects in software engineering courses. SIGCSE 2005: 137-141
12		Robert R. Painter, David Coppit: A model for software plans. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
11		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		Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson: Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142
	2003
9		David Coppit, Kevin J. Sullivan: Sound Methods and Effective Tools for Engineering Modeling and Analysis. ICSE 2003: 198-209
8		David Coppit, Robert R. Painter, Kevin J. Sullivan: Shared Semantic Domains for Computational Reliability Engineering. ISSRE 2003: 169-180
	2000
7		David Coppit, Kevin J. Sullivan: Multiple mass-market applications as components. ICSE 2000: 273-282
6		David Coppit, Kevin J. Sullivan: Galileo: a tool built from mass-market applications. ICSE 2000: 750-753
5		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		Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit: The Galileo Fault Tree Analysis Tool. FTCS 1999: 232-235
	1998
3		David Coppit, Kevin J. Sullivan: Formal Specification in Collaborative Design of Critical Software Tools. HASE 1998: 13-20
2		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		Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit: Package-Oriented Programming of Engineering Tools. ICSE 1997: 616-617

Coauthor Index

1	Tiffany Broadbent	[15]
2	Jake Cockrell	[1]
3	Joanne Bechta Dugan	[2] [4] [5]
4	Jennifer M. Haddox-Schatz	[13] [14]
5	Daniel Jackson	[10]
6	Sarfraz Khurshid	[10] [11]
7	Wei Le	[11]
8	Jiexin Lian	[16]
9	Ragavan Manian	[2]
10	John A. Murphy	[18]
11	Robert R. Painter	[8] [12] [17]
12	Meghan Revelle	[15] [17]
13	Kevin J. Sullivan	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
14	Jinlin Yang	[10] [11]
15	Shengtong Zhang	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page