BibSonomy :: author  ::

bookmarks

publications

(17)

• A model for software plans.
  Robert R. Painter and David Coppit ACM SIGSOFT Software Engineering Notes 30 1-5 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Spotlight: A Prototype Tool for Software Plans.
  David Coppit and Robert R. Painter and Meghan Revelle ICSE 754-757 (2007)
  to dblp by dblp on 2007-06-01 00:00:00
  | URL | BibTeX  
• On the Use of Specification-Based Assertions as Test Oracles.
  David Coppit and Jennifer M. Haddox-Schatz SEW 305-314 (2005)
  to dblp by dblp on 2007-02-01 00:00:00
  | URL | BibTeX  
• Large team projects in software engineering courses.
  David Coppit and Jennifer M. Haddox-Schatz SIGCSE 137-141 (2005)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• yagg: an easy-to-use generator for structured test inputs.
  David Coppit and Jiexin Lian ASE 356-359 (2005)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Software assurance by bounded exhaustive testing.
  Kevin J. Sullivan and Jinlin Yang and David Coppit and Sarfraz Khurshid and Daniel Jackson ISSTA 133-142 (2004)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Software Assurance by Bounded Exhaustive Testing.
  David Coppit and Jinlin Yang and Sarfraz Khurshid and Wei Le and Kevin J. Sullivan IEEE Trans. Software Eng. 31 328-339 (2005)
  to dblp by dblp on 2005-07-21 00:00:00
  | URL | BibTeX  
• Understanding Concerns in Software: Insights Gained from Two Case Studies.
  Meghan Revelle and Tiffany Broadbent and David Coppit IWPC 23-32 (2005)
  to dblp by dblp on 2005-07-13 00:00:00
  | URL | BibTeX  
• Shared Semantic Domains for Computational Reliability Engineering.
  David Coppit and Robert R. Painter and Kevin J. Sullivan ISSRE 169-180 (2003)
  to dblp by dblp on 2005-01-06 00:00:00
  | URL | BibTeX  
• Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.
  David Coppit and Kevin J. Sullivan and Joanne Bechta Dugan ISSRE 270-282 (2000)
  to dblp by dblp on 2005-01-06 00:00:00
  | URL | BibTeX