C. Damon

Elements of style: analyzing a software design feature with a counterexample detector

Daniel Jackson, Craig Damon, D. Jackson, 1996, ISSTA '96.

Selective enumeration

Daniel Jackson, Jeannette M. Wing, Craig A. Damon, 2000 .

Isomorph-free model enumeration: a new method for checking relational specifications

Somesh Jha, Daniel Jackson, Craig Damon, 1998, TOPL.

Elements of style: analyzing a software design feature with a counterexample detector

Daniel Jackson, Craig Damon, D. Jackson, 1996, ISSTA '96.

Nitpick: A Tool For Interactive Design Analysis

Craig Damon, C. Damon, 1997, Proceedings of the (19th) International Conference on Software Engineering.

Selective Enumeration: A Formal Definition

Craig A. Damon, C. Damon, 1998 .

Formalizing a Specification for Analysis: The HLA Ownership Properties

James Ivers, Robert J. Allen, Ralph E. Melton, 1999 .