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
10171976
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
5351990
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
4011989
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
3471988
Data flow analysis for verifying properties of concurrent programs
MB Dwyer, LA Clarke
ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994
2421994
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
2212002
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
1731996
Partition analysis: A method combining testing and verification
DJ Richardson, LA Clarke
IEEE Transactions on Software Engineering, 1477-1490, 1985
1591985
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
1421999
A historical perspective on runtime assertion checking in software development
LA Clarke, DS Rosenblum
ACM SIGSOFT Software Engineering Notes 31 (3), 25-37, 2006
1402006
A close look at domain testing
LA Clarke, J Hassell, DJ Richardson
IEEE Transactions on Software Engineering, 380-390, 1982
1401982
A program testing system
LA Clarke
Proceedings of the 1976 annual conference, 488-491, 1976
1311976
Task interaction graphs for concurrency analysis
DL Long, LA Clarke
Proceedings of the 11th international conference on Software engineering, 44-52, 1989
1181989
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
1142004
Applications of symbolic evaluation
LA Clarke, DJ Richardson
Journal of systems and software 5 (1), 15-35, 1985
1111985
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
1031997
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
962008
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
901999
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
JM Cobleigh, GS Avrunin, LA Clarke
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-52, 2008
862008
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
862006
The system can't perform the operation now. Try again later.
Articles 1–20