Concepedia

Jake Cockrell

JC

Statistics

Publications

3

Citations

1.4K

H-Index

3

Active since

1997

Affiliations

University of Washington(Current)

University of California San Diego

Jake Cockrell is an author at University of Washington specializing in formal methods, software engineering, and system software.

Top concepts

Publications per year

1997–2001

3

Publications

3

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · IEEE Transactions on Software Engineering · 2001 · 1K citations

, , +20

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · 1999 · 350 citations

, , +21

Package-oriented programming of engineering tools

Kevin Sullivan, Jake Cockrell, Shengtong Zhang et al. · 1997 · 12 citations · Full text

, , +13

1–3 of 3