Concepedia

Allen Goldberg

AG

21

Publications

766

Citations

15

H-Index

1984

Active since

Affiliations

Kestrel Institute(Current)

Ames Research Center

Kestrel Technology (United States)

University of Manchester

University of Illinois Urbana-Champaign

Allen Goldberg is an author at Kestrel Institute specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisVerificationSoftware AnalysisFormal MethodsFormal VerificationSoftware TestingSystems EngineeringSoftware Engineering

Publications per year

1984–2007

21

Publications

21

Combining test case generation and runtime verification

Cyrille Artho, Howard Barringer, Allen Goldberg et al. · Theoretical Computer Science · 2004 · 91 citations

Engineering, Computational Testing, Runtime Verification +10

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Experimental Evaluation, Calibration +15

A specification of Java loading and bytecode verification

Allen Goldberg · 1998 · 77 citations

Engineering, Information Security, Verification +16

Applications of feasible path analysis to program testing

Allen Goldberg, T. C. Wang, David Zimmerman · 1994 · 74 citations · Full text

Mathematical Programming, Engineering, Verification +20

Iteration in the software process.

Allen Goldberg, C. Cordell Green, Wolfgang Polak et al. · ISPW · 1986 · 55 citations

Software Maintenance, Software Implementation, Engineering +8

Rows per page

1–5 of 21