Package-Oriented Programming of Engineering Tools. - Kevin J. Sullivan; Jake Cockrell; Shengtong Zhang; David Coppit (ICSE, 1997)

Dynamically Discovering Likely Program Invariants to Support Program Evolution. - Michael D. Ernst; Jake Cockrell; William G. Griswold; David Notkin (IEEE Trans. Software Eng., 2001)