Concepedia

Daniel M. Hoffman

DM

Statistics

Publications

5

Citations

138

H-Index

5

Active since

1991

Affiliations

University of Victoria(Current)

Daniel M. Hoffman is an author at University of Victoria specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisProgram AnalysisComputer EngineeringVerificationFormal MethodsSoftware DesignTest Generation

Publications per year

1991–2011

5

Publications

5

Automated module testing in Prolog

Daniel M. Hoffman, Paul Strooper · IEEE Transactions on Software Engineering · 1991 · 59 citations

Engineering, Output Oracle, Verification +18

LIMITATIONS OF ROUTINE SPIRAL COMPUTERIZED TOMOGRAPHY IN THE EVALUATION OF BLUNT RENAL TRAUMA

SCOTT L. BROWN, Daniel M. Hoffman, J. Patrick Spirnak · The Journal of Urology · 1998 · 28 citations

Computed Tomography, Trauma Resuscitation, Renal Pathology +24

Grammar‐based test generation with YouGen

Daniel M. Hoffman, David Ly‐Gagnon, Paul Strooper et al. · Software Practice and Experience · 2010 · 22 citations

Syntactic Parsing, Engineering, Tool Support +20

White Box Pairwise Test Case Generation

Jangbok Kim, Kyunghee Choi, Daniel M. Hoffman et al. · 2007 · 17 citations

Pairwise Testing, Engineering, Verification +20

A web-based generation and delivery system for active code reading

Daniel M. Hoffman, Ming Lu, Tim Pelton · 2011 · 12 citations

Engineering, Education, Software Engineering +23

1–5 of 5