Lori A. Clarke

133 papers A* 17A 7B 3C 1Misc 6Journal 33Unranked 64
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Personal Retrospective on Symbolic Execution.
IEEE Trans. Software Eng.
Lori A. Clarke
2022 — conf
A Coding Framework for Usability Evaluation of Digital Health Technologies.
HCI (1)
Mahdi Ebnali, Lauren R. Kennedy-Metz, Heather M. Conboy, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, Christian Miccile, Maria Arshanskiy, Annette Phillips, Marco A. Zenati, Roger D. Dias
2020 Misc conf
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies.
CogSIMA
Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati
2018 Misc conf
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.
CogSIMA
Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, George S. Avrunin, David Arney, Julian M. Goldman, Giuseppe Riccardi, Steven J. Yule, Marco A. Zenati
2018 — conf
Improving Diversity in Computing Research: An Overview of CRA-W Activities.
GE@ICSE
Lori A. Clarke, Lori L. Pollock, Jane Stout, Carla Ellis, Tracy Camp, Betsy Bizot, Kathryn S. McKinley
2018 — conf
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
OR 2.0/CARE/CLIP/ISIC@MICCAI
Roger D. Dias, Heather M. Conboy, Jennifer M. Gabany, Lori A. Clarke, Leon J. Osterweil, David Arney, Julian M. Goldman, Giuseppe Riccardi, George S. Avrunin, Steven J. Yule, Marco A. Zenati
2018 Misc conf
Process Driven Guidance for Complex Surgical Procedures.
AMIA
George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati
2018 — conf
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.
SEHS@ICSE
George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati
2017 Misc conf
Cognitive support during high-consequence episodes of care in cardiovascular surgery.
CogSIMA
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov
2017 J jnl
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur.
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
2016 — conf
Smart checklists to improve healthcare outcomes.
SEHS@ICSE
Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2014 Misc conf
Impact of barcode design on the medication administration process.
AMIA
Junghee Jo, Jenna L. Marquard, Lori A. Clarke, Philip L. Henneman
2014 — conf
Insider Threat Identification by Process Analysis.
IEEE Symposium on Security and Privacy Workshops
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
2014 Misc conf
Online Deviation Detection for Medical Processes.
AMIA
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
2013 — conf
Considerations for online deviation detection in medical processes.
SEHC@ICSE
Stefan C. Christov, George S. Avrunin, Lori A. Clarke
2013 — conf
Modal abstraction view of requirements for medical devices used in healthcare processes.
SEHC@ICSE
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
2013 B conf
Using process modeling and analysis techniques to reduce errors in healthcare.
FMCAD
Lori A. Clarke
2012 — conf
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.
EVT/WOTE
Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2012 A conf
Computational Predictors in Online Social Deliberations.
ICWSM
Beverly Park Woolf, Thomas J. Murray, Xiaoxi Xu, Leon J. Osterweil, Lori A. Clarke, Leah Wing, Ethan Katsh
2012 — conf
Smart checklists for human-intensive medical systems.
DSN Workshops
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch
2011 J jnl
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm.
Int. J. Softw. Informatics
Lori A. Clarke
2011 — conf
On effective testing of health care simulation software.
SEHC@ICSE
Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
2010 — conf
2nd International Workshop on Software Engineering in Health Care (SEHC 2010).
ICSE (2)
Lori A. Clarke, Jens H. Weber-Jahnke
2010 — conf
A benchmark for evaluating software engineering techniques for improving medical processes.
SEHC@ICSE
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman
2010 C conf
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.
SEKE
Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen
2010 J jnl
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.
IEEE Trans Autom. Sci. Eng.
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise
2010 — conf
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.
IHI
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens
2010 — conf
Modeling and Analyzing Faults to Improve Election Process Robustness.
EVT/WOTE
Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2010 — ed.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, SEHC 2010, Cape Town, South Africa, May 3-4, 2010
SEHC@ICSE
Lori A. Clarke, Jens H. Weber-Jahnke
2010 — conf
Process-based derivation of requirements for medical devices.
IHI
Heather M. Conboy, George S. Avrunin, Lori A. Clarke
2010 — conf
Supporting human-intensive systems.
FoSER
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin
2010 — conf
Supporting negotiation and dispute resolution with computing and communication technologies.
FoSER
Leon J. Osterweil, Lori A. Clarke
2009 — conf
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.
Business Process Management Workshops
Leon J. Osterweil, Lori A. Clarke, George S. Avrunin
2009 — conf
Dispute prevention and dispute resolution in networked health information technology.
D.GO
Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey
2009 — conf
Simulating patient flow through an Emergency Department using process-driven discrete event simulation.
SEHC@ICSE
M. S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman
2008 A* conf
Analyzing medical processes.
ICSE
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
2008 J jnl
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
ACM Trans. Softw. Eng. Methodol.
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
2008 J jnl
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol.
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
2008 — conf
Experience in using a process language to define scientific workflow and generate dataset provenance.
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley
2008 — conf
Specifying and verifying requirements for election processes.
DG.O
Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil
2008 — conf
Using software engineering technology to improve the quality of medical processes.
ICSE Companion
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil
2007 — conf
Engineering Medical Processes to Improve Their Safety.
Situational Method Engineering
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman
2007 J jnl
Ensuring reliable datasets for environmental models and forecasts.
Ecol. Informatics
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster
2007 — conf
Getting the Details Right.
Monterey Workshop
Lori A. Clarke
2007 B conf
Plug-and-Play Architectural Design and Verification.
WADS
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2007 — conf
Representing Process Variation with a Process Family.
ICSP
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil
2007 — conf
Rigorously Defining and Analyzing Medical Processes: An Experience Report.
MoDELS (Workshops)
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens
2007 — conf
Using process definitions to drive user interactions with digital government systems.
DG.O
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise
2006 J jnl
A historical perspective on runtime assertion checking in software development.
ACM SIGSOFT Softw. Eng. Notes
Lori A. Clarke, David S. Rosenblum
2006 — conf
A process-driven tool to support online dispute resolution.
DG.O
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey
2006 — conf
Architectural Building Blocks for Plug-and-Play System Design.
CBSE
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2006 — conf
Automatic Fault Tree Derivation from Little-JIL Process Definitions.
SPW/ProSim
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2006 A conf
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
ISSTA
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
2006 J jnl
Complex medical processes as context for embedded systems.
SIGBED Rev.
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil
2006 — conf
Definition and Analysis of Election Processes.
SPW/ProSim
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil
2006 A* conf
Managing space for finite-state verification.
ICSE
Jianbin Tan, George S. Avrunin, Lori A. Clarke
2006 — conf
User guidance for creating precise and accessible property specifications.
SIGSOFT FSE
Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
2006 A conf
Using model checking with symbolic execution to verify parallel numerical programs.
ISSTA
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
2006 — conf
Verification support for plug-and-play architectural design.
ROSATEA
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
2005 — conf
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
ISPW
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
2005 — conf
Process Technology to Facilitate the Conduct of Science.
ISPW
Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster
2004 J jnl
Flow analysis for verifying properties of concurrent software systems.
ACM Trans. Softw. Eng. Methodol.
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
2004 A* conf
Heuristic-Based Model Refinement for FLAVERS.
ICSE
Jianbin Tan, George S. Avrunin, Lori A. Clarke
2004 — conf
Heuristic-guided counterexample search in FLAVERS.
SIGSOFT FSE
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
2003 A* ed.
Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA
ICSE
Lori A. Clarke, Laurie Dillon, Walter F. Tichy
2003 — conf
Trust Resource Management in Digital Government Through Process Modeling.
DG.O
Lee Osterwil, Norman K. Sondheimer, Anthony Butterfield, Lori A. Clarke, Robert Marx, Matthew P. Billmers, Joel Sieh, Bruce Southard, David Su
2002 J jnl
FLAVERS: A finite state verification technique for software systems.
IBM Syst. J.
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
2002 A* conf
PROPEL: an approach supporting property elucidation.
ICSE
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2001 — conf
An architecture for flexible, evolvable process-driven user-guidance environments.
ESEC / SIGSOFT FSE
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
2001 A* conf
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
ICSE
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
2000 — conf
Classifying properties: an alternative to the safety-liveness classification.
SIGSOFT FSE
Gleb Naumovich, Lori A. Clarke
2000 — conf
Continuous Self-Evaluation for the Self-Improvement of Software.
IWSAS
Leon J. Osterweil, Lori A. Clarke
2000 J jnl
FLAVERS.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke
2000 A conf
Finite state verification: An emerging technology for validating software systems (abstract only).
ISSTA
Lori A. Clarke
2000 — conf
Frameworks for Reasoning about Agent Based Systems.
Agents Workshop on Infrastructure for Multi-Agent Systems
Leon J. Osterweil, Lori A. Clarke
2000 J jnl
Little-JIL.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke
2000 — conf
The impact project: determining the impact of software engineering research upon practice (panel session).
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
2000 A conf
Verifying properties of process definitions.
ISSTA
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
1999 — conf
An Efficient Algorithm for Computing
ESEC / SIGSOFT FSE
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999 A* conf
Data Flow Analysis for Checking Properties of Concurrent Java Programs.
ICSE
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999 — conf
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.
PASTE
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
1999 J jnl
Using partial order techniques to improve performance of data flow analysis based verification.
ACM SIGSOFT Softw. Eng. Notes
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
1998 A* conf
An Adaptable Generation Approach to Agenda Management.
ICSE
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
1998 A* conf
Consistency Management for Complex Applications.
ICSE
Peri L. Tarr, Lori A. Clarke
1998 — conf
Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
PASTE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
1997 — conf
Applying Static Analysis to Software Architectures.
ESEC / SIGSOFT FSE
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
1997 — ed.
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, SSR 1997, May 17-19, 1997, Boston, MA, USA
SSR
Lori A. Clarke, Guillermo Arango, Mehdi T. Harandi
1997 A* conf
Verification of Concurrent Software with FLAVERS.
ICSE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
1996 J jnl
A Compact Petri Net Representation and Its Implications for Analysis.
IEEE Trans. Software Eng.
Matthew B. Dwyer, Lori A. Clarke
1996 A* conf
A Flexible Architecture for Building Data Flow Analyzers.
ICSE
Matthew B. Dwyer, Lori A. Clarke
1996 J jnl
A Framework for Event-Based Software Integration.
ACM Trans. Softw. Eng. Methodol.
Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise
1996 J jnl
How Do We Improve Software Quality and How Do We Show that it Matters?
ACM Comput. Surv.
Lori A. Clarke
1996 A conf
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.
ISSTA
A. T. Chamillard, Lori A. Clarke
1996 J jnl
New Functionality for Programming Languages.
ACM Comput. Surv.
Lori A. Clarke, Peri L. Tarr
1996 — conf
Verification of Communication Protocols Using Data Flow Analysis.
SIGSOFT FSE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
1995 A* conf
A Compact Petri Net Representation for Concurrent Programs.
ICSE
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
1994 — conf
Data Flow Analysis for Verifying Properties of Concurrent Programs.
SIGSOFT FSE
Matthew B. Dwyer, Lori A. Clarke
1993 A conf
An Information Flow Model of Fault Detection.
ISSTA
Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke
1993 J jnl
Letter from the Incoming Chairman.
ACM SIGSOFT Softw. Eng. Notes
Lori A. Clarke
1993 — conf
PLEIADES: An Object Management System for Software Engineering Environments.
SIGSOFT FSE
Peri L. Tarr, Lori A. Clarke
1992 J jnl
A Proposed Testing and Analysis Research Initiative.
IEEE Softw.
Leon J. Osterweil, Lori A. Clarke
1992 A* ed.
Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992.
ICSE
Tony Montgomery, Lori A. Clarke, Carlo Ghezzi
1991 — conf
Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization.
Symposium on Testing, Analysis, and Verification
Douglas L. Long, Lori A. Clarke
1990 J jnl
A Comparative Evaluation of Object Definition Techniques.
ACM Trans. Program. Lang. Syst.
Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
1990 J jnl
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.
IEEE Trans. Software Eng.
Andy Podgurski, Lori A. Clarke
1990 — conf
Extending and Limiting PGraphite-style Persistence.
POS
Peri L. Tarr, Jack C. Wileden, Lori A. Clarke
1989 J jnl
A Formal Evaluation of Data Flow Path Selection Criteria.
IEEE Trans. Software Eng.
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1989 — conf
Ada language considerations for concurrency analysis.
WADAS
Douglas L. Long, Lori A. Clarke, Joseph Fialli
1989 A* conf
Task Interaction Graphs for Concurrency Analysis.
ICSE
Douglas L. Long, Lori A. Clarke
1989 J jnl
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process.
IEEE Trans. Software Eng.
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
1989 — conf
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance.
Symposium on Testing, Analysis, and Verification
Andy Podgurski, Lori A. Clarke
1988 J jnl
A Model of Visibility Control.
IEEE Trans. Software Eng.
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
1988 — conf
Facilitating process prototyping by controlling the impact of change.
ISPW
Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
1988 — conf
Foundations for the Arcadia Environment Architecture.
Software Development Environments (SDE)
Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
1988 — conf
TEAM: A Support Environment for Testing, Evaluation, and Analysis.
Software Development Environments (SDE)
Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
1987 — conf
Object Management Support for Software Development Environments.
POS
Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf
1985 A* conf
A Comparison of Data Flow Path Selection Criteria.
ICSE
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1985 J jnl
Ada-Based support for programming-in-the-Large.
IEEE Softw.
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
1985 J jnl
Applications of symbolic evaluation.
J. Syst. Softw.
Lori A. Clarke, Debra J. Richardson
1985 A* conf
Interface Control and Incremental Development in the PIC Environment.
ICSE
Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden
1985 J jnl
Partition Analysis: A Method Combining Testing and Verification.
IEEE Trans. Software Eng.
Debra J. Richardson, Lori A. Clarke
1984 J jnl
A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'".
ACM SIGSOFT Softw. Eng. Notes
Lori A. Clarke, Debra J. Richardson
1984 — conf
Feedback-directed development of complex software systems.
ISPW
Jack C. Wileden, Lori A. Clarke
1983 — conf
The application of error-sensitive testing strategies to debugging.
SIGSOFT
Lori A. Clarke, Debra J. Richardson
1982 J jnl
A Close Look at Domain Testing.
IEEE Trans. Software Eng.
Lori A. Clarke, Johnette Hassell, Debra J. Richardson
1981 A* conf
A Partition Analysis Method to Increase Program Reliability.
ICSE
Debra J. Richardson, Lori A. Clarke
1981 J jnl
Software environment research: the next five years.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke, Donald Good, Raymond C. Houghton Jr., Thomas Love, Patricia Santoni, Daniel Teichroew, Anthony I. Wasserman
1980 — conf
Nesting in Ada programs is for the birds.
SIGPLAN
Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf
1979 J jnl
Compile-Time Analysis of Data List-Format List Correspondences.
IEEE Trans. Software Eng.
Paul W. Abrahams, Lori A. Clarke
1978 B conf
Testing: Achievements and Frustrations.
COMPSAC
Lori A. Clarke
1976 J jnl
A System to Generate Test Data and Symbolically Execute Programs.
IEEE Trans. Software Eng.
Lori A. Clarke
1976 — conf
A program testing system.
ACM Annual Conference
Lori A. Clarke
1976 — conf
SICSOFT (Paper Session).
ACM Annual Conference
Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley