Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. - Alexander Borgida; Tom M. Mitchell; Keith E. Williamson (On Knowledge Base Management Systems (Islamorada), 1985)

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. - Alexander Borgida; Keith E. Williamson (VLDB, 1985)

Test Data Generation and Feasible Path Analysis. - Robert Jasper; Mike Brennan; Keith E. Williamson; Bill Currier; David Zimmerman (ISSTA, 1994)

Formally Specifying Engineering Design Rationale. - Keith E. Williamson; Michael Healy (ASE, 1997)

Industrial Applications of Software Synthesis via Category Theory. - Keith E. Williamson; Michael Healy (ASE, 1999)

Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. - Michael Healy; Keith E. Williamson (AMAST, 2000)

Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. - Keith E. Williamson; Michael Healy; Richard A. Barker (ICSR, 2000)

Deriving engineering software from requirements. - Keith E. Williamson; Michael Healy (J. Intell. Manuf., 2000)

Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. - Keith E. Williamson; Michael Healy; Richard A. Barker (Autom. Softw. Eng., 2001)