Lori Clarke
Title
Cited by
Cited by
Year
A system to generate test data and symbolically execute programs
LA Clarke
IEEE Transactions on software engineering, 215-222, 1976
9901976
A formal model of program dependences and its implications for software testing, debugging, and maintenance
A Podgurski, LA Clarke
IEEE Transactions on software Engineering 16 (9), 965-979, 1990
5091990
A formal evaluation of data flow path selection criteria
LA Clarke, A Podgurski, DJ Richardson, SJ Zeil
IEEE Transactions on Software Engineering 15 (11), 1318-1332, 1989
3771989
Foundations for the Arcadia environment architecture
RN Taylor, FC Belz, LA Clarke, L Osterweil, RW Selby, JC Wileden, ...
Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium …, 1988
3511988
Data flow analysis for verifying properties of concurrent programs
MB Dwyer, LA Clarke
ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994
2291994
Propel: an approach supporting property elucidation
RL Smith, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 24th International Conference on Software Engineering, 11-21, 2002
2142002
A framework for event-based software integration
DJ Barrett, LA Clarke, PL Tarr, AE Wise
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 378-421, 1996
1641996
Partition analysis: A method combining testing and verification
DJ Richardson, LA Clarke
IEEE Transactions on Software Engineering, 1477-1490, 1985
1461985
A historical perspective on runtime assertion checking in software development
LA Clarke, DS Rosenblum
ACM SIGSOFT Software Engineering Notes 31 (3), 25-37, 2006
1382006
An efficient algorithm for computing MHP information for concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
Software Engineering—ESEC/FSE’99, 338-354, 1999
1371999
A close look at domain testing
LA Clarke, J Hassell, DJ Richardson
IEEE Transactions on Software Engineering, 380-390, 1982
1321982
A program testing system
LA Clarke
Proceedings of the 1976 annual conference, 488-491, 1976
1241976
Flow analysis for verifying properties of concurrent software systems
MB Dwyer, LA Clarke, JM Cobleigh, G Naumovich
ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (4), 359-430, 2004
1132004
Task interaction graphs for concurrency analysis
DL Long, LA Clarke
Proceedings of the 11th international conference on Software engineering, 44-52, 1989
1111989
Applications of symbolic evaluation
LA Clarke, DJ Richardson
Journal of systems and software 5 (1), 15-35, 1985
1071985
Applying static analysis to software architectures
G Naumovich, GS Avrunin, LA Clarke, LJ Osterweil
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997
971997
Combining symbolic execution with model checking to verify parallel numerical programs
SF Siegel, A Mironova, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-34, 2008
912008
Data flow analysis for checking properties of concurrent Java programs
G Naumovich, GS Avrunin, LA Clarke
Proceedings of the 1999 International Conference on Software Engineering …, 1999
871999
A partition analysis method to increase program reliability
DJ Richardson, LA Clarke
Proceedings of the 5th international conference on Software engineering, 244-253, 1981
871981
User guidance for creating precise and accessible property specifications
RL Cobleigh, GS Avrunin, LA Clarke
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
822006
The system can't perform the operation now. Try again later.
Articles 1–20