D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 37 Citations 7,136 186 World Ranking 6732 National Ranking 3219

Research.com Recognitions

Awards & Achievements

2011 - IEEE Fellow For contributions to software testing and verification

1998 - ACM Fellow For outstanding research in software engineering, particularly in the areas of software testing and analysis, and for dedicated service to the software engineering community.

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Software
  • Software engineering

Programming language, Theoretical computer science, Data flow diagram, Software development and Software engineering are her primary areas of study. Much of her study explores Programming language relationship to Parallel computing. Her Theoretical computer science research is multidisciplinary, incorporating elements of Test data, Set and Domain.

In general Data flow diagram, her work in Data-flow analysis is often linked to Terminology linking many areas of study. Her research integrates issues of Program analysis, Debugging and Software testing in her study of Software development. In Software engineering, she works on issues like Software system, which are connected to Natural language, Software development process and Application lifecycle management.

Her most cited work include:

  • A System to Generate Test Data and Symbolically Execute Programs (672 citations)
  • A formal model of program dependences and its implications for software testing, debugging, and maintenance (353 citations)
  • Foundations for the Arcadia environment architecture (225 citations)

What are the main themes of her work throughout her whole career to date?

Lori A. Clarke mainly investigates Software engineering, Process, Programming language, Software system and Software development. Lori A. Clarke has included themes like Package development process, User interface, Systems engineering, Software development process and Software in her Software engineering study. Her research in Process intersects with topics in Model checking, Risk analysis and Fault tree analysis.

Her Programming language study frequently links to other fields, such as Data flow diagram. The various areas that Lori A. Clarke examines in her Concurrency study include Data-flow analysis, Theoretical computer science and Static analysis. Her studies deal with areas such as Test data, Program analysis and Representation as well as Theoretical computer science.

She most often published in these fields:

  • Software engineering (29.84%)
  • Process (28.27%)
  • Programming language (17.80%)

What were the highlights of her more recent work (between 2009-2020)?

  • Process (28.27%)
  • Process modeling (8.90%)
  • Fault tree analysis (7.85%)

In recent papers she was focusing on the following fields of study:

Her main research concerns Process, Process modeling, Fault tree analysis, Software engineering and Model checking. Her Process research incorporates elements of Risk analysis, Management science, Process management and Medical emergency. Her Risk analysis research focuses on Software system and how it relates to Position paper.

Lori A. Clarke interconnects User interface, Interoperability, Concurrency and Information and Communications Technology in the investigation of issues within Software engineering. Her studies examine the connections between Model checking and genetics, as well as such issues in Non-functional requirement, with regards to Formal verification and Formal specification. Her Reliability engineering study combines topics in areas such as Regression testing, Software construction, Interface and Theoretical computer science.

Between 2009 and 2020, her most popular works were:

  • Insider Threat Identification by Process Analysis (30 citations)
  • Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview (24 citations)
  • On effective testing of health care simulation software (23 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Software
  • Software engineering

Lori A. Clarke mainly investigates Software engineering, Process, Process modeling, Fault tree analysis and Process definition. Her Software engineering research includes themes of Software sizing, Software development, Software metric, Software construction and Range. Her Range research includes elements of Model checking, Semantics, Set and Benchmark.

Her Process study integrates concerns from other disciplines, such as Management science and Task analysis. In her work, Software is strongly intertwined with Process guidance, which is a subfield of Process modeling. Her Risk analysis study which covers Position paper that intersects with Software system.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

A System to Generate Test Data and Symbolically Execute Programs

L.A. Clarke.
IEEE Transactions on Software Engineering (1976)

1049 Citations

A System to Generate Test Data and Symbolically Execute Programs

L.A. Clarke.
IEEE Transactions on Software Engineering (1976)

1049 Citations

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

A. Podgurski;L.A. Clarke.
IEEE Transactions on Software Engineering (1990)

559 Citations

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

A. Podgurski;L.A. Clarke.
IEEE Transactions on Software Engineering (1990)

559 Citations

A formal evaluation of data flow path selection criteria

L.A. Clarke;A. Podgurski;D.J. Richardson;S.J. Zeil.
IEEE Transactions on Software Engineering (1989)

420 Citations

A formal evaluation of data flow path selection criteria

L.A. Clarke;A. Podgurski;D.J. Richardson;S.J. Zeil.
IEEE Transactions on Software Engineering (1989)

420 Citations

Foundations for the Arcadia environment architecture

Richard N. Taylor;Frank C. Belz;Lori A. Clarke;Leon Osterweil.
software engineering symposium on practical software development environments (1988)

363 Citations

Foundations for the Arcadia environment architecture

Richard N. Taylor;Frank C. Belz;Lori A. Clarke;Leon Osterweil.
software engineering symposium on practical software development environments (1988)

363 Citations

Data flow analysis for verifying properties of concurrent programs

Matthew B. Dwyer;Lori A. Clarke.
foundations of software engineering (1994)

252 Citations

Data flow analysis for verifying properties of concurrent programs

Matthew B. Dwyer;Lori A. Clarke.
foundations of software engineering (1994)

252 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Lori A. Clarke

Leon J. Osterweil

Leon J. Osterweil

University of Massachusetts Amherst

Publications: 65

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 40

Matthew B. Dwyer

Matthew B. Dwyer

University of Virginia

Publications: 35

Richard N. Taylor

Richard N. Taylor

University of California, Irvine

Publications: 29

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 28

Gail E. Kaiser

Gail E. Kaiser

Columbia University

Publications: 26

Mark Harman

Mark Harman

University College London

Publications: 25

Gregg Rothermel

Gregg Rothermel

North Carolina State University

Publications: 25

Alexander L. Wolf

Alexander L. Wolf

University of California, Santa Cruz

Publications: 24

Debra J. Richardson

Debra J. Richardson

University of California, Irvine

Publications: 23

Willem Visser

Willem Visser

Amazon (United States)

Publications: 22

David Binkley

David Binkley

Loyola University Maryland

Publications: 22

Andy Podgurski

Andy Podgurski

Case Western Reserve University

Publications: 18

Tsong Yueh Chen

Tsong Yueh Chen

Swinburne University of Technology

Publications: 18

Tao Xie

Tao Xie

Peking University

Publications: 18

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 17

Trending Scientists

John Wilkes

John Wilkes

Google (United States)

Rafal Mantiuk

Rafal Mantiuk

University of Cambridge

Gonzalo Pajares

Gonzalo Pajares

Complutense University of Madrid

Zengqiang Chen

Zengqiang Chen

Nankai University

Karin E. Schütz

Karin E. Schütz

AgResearch

José M. Murillo

José M. Murillo

Spanish National Research Council

Sonja Hess

Sonja Hess

California Institute of Technology

Manuel Simões

Manuel Simões

University of Porto

Gary French

Gary French

Guy's and St Thomas' NHS Foundation Trust

Bjørn G. Andersen

Bjørn G. Andersen

University of Oslo

Tom F. M. ter Bogt

Tom F. M. ter Bogt

Utrecht University

Ayelet Meron Ruscio

Ayelet Meron Ruscio

University of Pennsylvania

Michael Gossop

Michael Gossop

King's College London

Antonio C. Bianco

Antonio C. Bianco

University of Chicago

Arnold O. Benz

Arnold O. Benz

ETH Zurich

Something went wrong. Please try again later.