Concepedia

Lori A. Clarke

LA

93

Publications

5.3K

Citations

37

H-Index

1976

Active since

Affiliations

University of Massachusetts Amherst(Current)

Harvard University

University of California, Irvine

University of Massachusetts Boston

AT&T (United States)

Lori A. Clarke is an author at University of Massachusetts Amherst specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisSoftware EngineeringSoftware DesignSystems EngineeringFormal MethodsSystem SoftwareFormal Verification

Publications per year

1976–2020

93

Publications

93

A System to Generate Test Data and Symbolically Execute Programs

Lori A. Clarke · IEEE Transactions on Software Engineering · 1976 · 761 citations

Program Checking, Engineering, Verification +23

A formal model of program dependences and its implications for software testing, debugging, and maintenance

Andy Podgurski, Lori A. Clarke · IEEE Transactions on Software Engineering · 1990 · 398 citations

Software Maintenance, Program Checking, Engineering +23

Foundations for the Arcadia environment architecture

Richard N. Taylor, Frank C. Belz, Lori A. Clarke et al. · 1988 · 244 citations

Software Maintenance, Engineering, Architectural Engineering +25

A formal evaluation of data flow path selection criteria

Lori A. Clarke, Andy Podgurski, Debra J. Richardson et al. · IEEE Transactions on Software Engineering · 1989 · 223 citations

Engineering, Software Engineering, Semantics +19

Data flow analysis for verifying properties of concurrent programs

Matthew B. Dwyer, Lori A. Clarke · 1994 · 188 citations

Program Checking, Engineering, Verification +19

Rows per page

1–5 of 93