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.
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.
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.
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.
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.
A System to Generate Test Data and Symbolically Execute Programs
L.A. Clarke.
IEEE Transactions on Software Engineering (1976)
A System to Generate Test Data and Symbolically Execute Programs
L.A. Clarke.
IEEE Transactions on Software Engineering (1976)
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)
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)
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)
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)
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)
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)
Data flow analysis for verifying properties of concurrent programs
Matthew B. Dwyer;Lori A. Clarke.
foundations of software engineering (1994)
Data flow analysis for verifying properties of concurrent programs
Matthew B. Dwyer;Lori A. Clarke.
foundations of software engineering (1994)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Massachusetts Amherst
University of California, Santa Cruz
University of California, Irvine
University of Virginia
University of California, Davis
Harvard University
University of California, Irvine
Case Western Reserve University
University of Southern California
Harvard University
Google (United States)
University of Cambridge
Complutense University of Madrid
Nankai University
AgResearch
Spanish National Research Council
KU Leuven
California Institute of Technology
University of Porto
Guy's and St Thomas' NHS Foundation Trust
University of Oslo
Utrecht University
University of Pennsylvania
King's College London
University of Chicago
ETH Zurich