Daniel Geist

A study in coverage-driven test generation

Mike Benjamin, Daniel Geist, Alan Hartman et al. · 1999 · 87 citations · Full text

Computing, Computer Engineering, Computer Science +15

AVPGEN-A test generator for architecture verification

Ashok K. Chandra, V. Iyengar, David H. Jameson et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1995 · 74 citations

Engineering, Computer Engineering, Computer Science +12

Combining System Level Modeling with Assertion Based Verification

A. Dahan, Daniel Geist, L. Gluhovsky et al. · 2005 · 60 citations

Engineering, Computer Engineering, Computer Science +16

TEStool: an environment for visual interactive modeling of autocorrelated traffic

Daniel Geist, Benjamin Melamed · 2003 · 39 citations

Computing, Computer Science, Visualization +17

Model Checking at IBM

Shoham Ben-David, Cindy Eisner, Daniel Geist et al. · Formal Methods in System Design · 2003 · 35 citations

Engineering, Computer Engineering, Computer Science +9