Statistics
Publications
15
Citations
1.4K
H-Index
14
Active since
1972
Susan L. Gerhart is an author at Duke University specializing in computing, computer science, and formal methods.
Publications per year
1972–2004
15
15
Toward a theory of test data selection
John B. Goodenough, Susan L. Gerhart · ACM SIGPLAN Notices · 1975 · 520 citations
Toward a theory of test data selection
John B. Goodenough, Susan L. Gerhart · 1975 · 92 citations
An Overview of AFFIRM: A Specification and Verification System.
Susan L. Gerhart, David R. Musser, D.H. Thompson et al. · IFIP Congress · 1980 · 83 citations
Correctness-preserving program transformations
Susan L. Gerhart · 1975 · 81 citations
1–5 of 15