Lori A. Clarke - Concepedia

Author

Lori A. Clarke

University of Massachusetts Amherst

Also Known As

Clarke, Lori, L. A. Clarke, L. Clarke, L.A. Clarke, Lori A Clarke, Lori A. Clarke, Lori Clarke

235

Publications

5.9K

Citations

H-Index

178

Concepts

All Affiliations

University of Massachusetts Amherst Harvard University University of California, Irvine University of Massachusetts Boston AT&T (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	35	74	4.8K
2	Business	2	2	40
3	Education	2	2	27
4	Health Sciences	1	1	60
5	Language Studies	1	1	58

Lori A. Clarke

Publications

5.3K

Citations

H-Index

Page 1

	Year	Citations
A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke IEEE Transactions on Software Engineering Program CheckingEngineeringVerificationTest Data GenerationSoftware Engineering	1976	761
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 Software MaintenanceProgram CheckingEngineeringProgram DependencesData Flow Dependence	1990	398
Foundations for the Arcadia environment architecture Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Software MaintenanceEngineeringArchitectural EngineeringSoftware SystemsProcess Programming Language	1988	244
A formal evaluation of data flow path selection criteria Lori A. Clarke, Andy Podgurski, Debra J. Richardson, IEEE Transactions on Software Engineering EngineeringSoftware EngineeringSemanticsFormal EvaluationSoftware Analysis	1989	223
Data flow analysis for verifying properties of concurrent programs Matthew B. Dwyer, Lori A. Clarke Program CheckingEngineeringVerificationSoftware EngineeringConcurrent System	1994	188
PROPEL R. L. Smith, George S. Avrunin, Lori A. Clarke, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2002	147
A historical perspective on runtime assertion checking in software development Lori A. Clarke, David S. Rosenblum ACM SIGSOFT Software Engineering Notes Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2006	137
A framework for event-based software integration Daniel Barrett, Lori A. Clarke, Peri Tarr, ACM Transactions on Software Engineering and Methodology Software MaintenanceEvent-driven ArchitectureEngineeringObject-oriented ModelingSoftware Engineering	1996	116
Partition Analysis: A Method Combining Testing and Verification Debra J. Richardson, Lori A. Clarke IEEE Transactions on Software Engineering EngineeringVerificationSoftware SystemsTest Data GenerationSoftware Engineering	1985	115
A Close Look at Domain Testing Lori A. Clarke, Johnette Hassell, Debra J. Richardson IEEE Transactions on Software Engineering Boundary ConditionsEngineeringDomain CharacteristicComputational TestingSystem Testing	1982	111

Page 1