Lori Clarke

인용

	전체	2020년 이후
서지정보	8487	838
h-index	45	14
i10-index	113	19

380

190

285

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 43 104 146 118 147 158 185 141 145 184 137 171 191 172 160 236 205 239 208 252 336 322 341 345 366 325 333 336 338 221 231 234 180 170 181 153 149 153 32

공개 액세스

모두 보기

자료 17개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Jack WiledenProfessor of Computer Science, University of Massachusetts Amherstcs.umass.edu의 이메일 확인됨
Alexander L WolfDean of Engineering, University of California, Santa Cruzmember.acm.org의 이메일 확인됨
Debra J. RichardsonProfessor of Informatics, University of California, Irvineics.uci.edu의 이메일 확인됨
Matthew DwyerThomson Distinguished Professor, University of Virginiavirginia.edu의 이메일 확인됨
Andy PodgurskiCase Western Reserve Universitycase.edu의 이메일 확인됨
Elizabeth HennemanAssociate Professor, Nursing, UMass Amherstnursing.umass.edu의 이메일 확인됨
Borislava I. SimidchievaRaytheon BBNbbn.com의 이메일 확인됨
Aaron M. EllisonSenior Research Fellow, Harvard Forest, Harvard Universityfas.harvard.edu의 이메일 확인됨
Richard TaylorProfessor of Information and Computer Sciences, University of California, Irvineics.uci.edu의 이메일 확인됨
Marco A. Zenati, M.D.Professor of Surgery, Harvard Medical Schoolhms.harvard.edu의 이메일 확인됨
Michal YoungAssociate Professor of Computer Science, University of Oregoncs.uoregon.edu의 이메일 확인됨
Matt BishopUniversity of California at Davisucdavis.edu의 이메일 확인됨
Roger Daglius Dias, MD, MBA, PhDAssociate Professor of Emergency Medicine at Harvard Medical Schoolbwh.harvard.edu의 이메일 확인됨
Steven ZeilProfessor of Computer Science, Old Dominion Universityodu.edu의 이메일 확인됨
Sean PeisertCybersecurity & Privacy R&D Lead, Lawrence Berkeley National Laboratory; Adjunct Professor, UC Davislbl.gov의 이메일 확인됨
Steven Yule, PhDUniversity of Edinburghed.ac.uk의 이메일 확인됨
Julian M GoldmanMassachusetts General Hospitalmgh.harvard.edu의 이메일 확인됨
M S RaunakComputer Scientist, National Institute of Standards and Technology (NIST)nist.gov의 이메일 확인됨
Jenna MarquardUniversity of Minnesotaumn.edu의 이메일 확인됨
David S. RosenblumGeorge Mason Universityalumni.stanford.edu의 이메일 확인됨

팔로우

Lori Clarke

Professor of Computer Science, University of Massachusetts Amherst

cs.umass.edu의 이메일 확인됨 - 홈페이지

Software Engineering Software testing and verification human-intensive systems


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
A system to generate test data and symbolically execute programs LA Clarke IEEE Transactions on software engineering, 215-222, 1976	1105	1976
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	588	1990
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	429	1989
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	364	1988
Data flow analysis for verifying properties of concurrent programs MB Dwyer, LA Clarke ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994	250	1994
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	231	2002
A historical perspective on runtime assertion checking in software development LA Clarke, DS Rosenblum ACM SIGSOFT Software Engineering Notes 31 (3), 25-37, 2006	191	2006
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	179	1996
A program testing system LA Clarke Proceedings of the 1976 annual conference, 488-491, 1976	169	1976
Partition analysis: A method combining testing and verification DJ Richardson, LA Clarke IEEE Transactions on Software Engineering, 1477-1490, 1985	162	1985
An efficient algorithm for computing MHP information for concurrent Java programs G Naumovich, GS Avrunin, LA Clarke ACM SIGSOFT Software Engineering Notes 24 (6), 338-354, 1999	155	1999
A close look at domain testing LA Clarke, J Hassell, DJ Richardson IEEE Transactions on Software Engineering, 380-390, 1982	144	1982
Task interaction graphs for concurrency analysis DL Long, LA Clarke Proceedings of the 11th international conference on Software engineering, 44-52, 1989	131	1989
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	119	2004
Applications of symbolic evaluation LA Clarke, DJ Richardson Journal of systems and software 5 (1), 15-35, 1985	117	1985
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	112	2008
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	106	1997
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	98	2008
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	94	2006
Data flow analysis for checking properties of concurrent Java programs G Naumovich, GS Avrunin, LA Clarke Proceedings of the 21st international conference on Software engineering …, 1999	94	1999

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자