Lori Clarke
Lori Clarke
Professor of Computer Science, University of Massachusetts Amherst
Email yang diverifikasi di cs.umass.edu - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
A system to generate test data and symbolically execute programs
LA Clarke
IEEE Transactions on software engineering, 215-222, 1976
10201976
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
5411990
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
4091989
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
3541988
Data flow analysis for verifying properties of concurrent programs
MB Dwyer, LA Clarke
ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994
2451994
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
2222002
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
1711996
Partition analysis: A method combining testing and verification
DJ Richardson, LA Clarke
IEEE Transactions on Software Engineering, 1477-1490, 1985
1601985
A historical perspective on runtime assertion checking in software development
LA Clarke, DS Rosenblum
ACM SIGSOFT Software Engineering Notes 31 (3), 25-37, 2006
1462006
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
1431999
A close look at domain testing
LA Clarke, J Hassell, DJ Richardson
IEEE Transactions on Software Engineering, 380-390, 1982
1391982
A program testing system
LA Clarke
Proceedings of the 1976 annual conference, 488-491, 1976
1381976
Task interaction graphs for concurrency analysis
DL Long, LA Clarke
Proceedings of the 11th international conference on Software engineering, 44-52, 1989
1221989
Applications of symbolic evaluation
LA Clarke, DJ Richardson
Journal of systems and software 5 (1), 15-35, 1985
1141985
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
1122004
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
1071997
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
972008
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
911999
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
882008
A partition analysis method to increase program reliability
DJ Richardson, LA Clarke
Proceedings of the 5th international conference on Software engineering, 244-253, 1981
861981
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20