Lori Clarke

Citace

	Všechny	Od 2020
Citace	8477	828
h-index	45	14
i10-index	113	19

380

190

285

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 43 104 146 118 147 158 191 141 145 184 137 171 191 172 160 230 205 238 205 255 337 322 341 345 364 325 335 336 337 222 230 233 182 167 184 153 147 153 24

Veřejný přístup

Zobrazit všechny

17 článků

0 článků

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Jack WiledenProfessor of Computer Science, University of Massachusetts AmherstE-mailová adresa ověřena na: cs.umass.edu
Alexander L WolfDean of Engineering, University of California, Santa CruzE-mailová adresa ověřena na: member.acm.org
Debra J. RichardsonProfessor of Informatics, University of California, IrvineE-mailová adresa ověřena na: ics.uci.edu
Matthew DwyerThomson Distinguished Professor, University of VirginiaE-mailová adresa ověřena na: virginia.edu
Andy PodgurskiCase Western Reserve UniversityE-mailová adresa ověřena na: case.edu
Elizabeth HennemanAssociate Professor, Nursing, UMass AmherstE-mailová adresa ověřena na: nursing.umass.edu
Borislava I. SimidchievaRaytheon BBNE-mailová adresa ověřena na: bbn.com
Aaron M. EllisonSenior Research Fellow, Harvard Forest, Harvard UniversityE-mailová adresa ověřena na: fas.harvard.edu
Richard TaylorProfessor of Information and Computer Sciences, University of California, IrvineE-mailová adresa ověřena na: ics.uci.edu
Michal YoungAssociate Professor of Computer Science, University of OregonE-mailová adresa ověřena na: cs.uoregon.edu
Marco A. Zenati, M.D.Professor of Surgery, Harvard Medical SchoolE-mailová adresa ověřena na: hms.harvard.edu
Matt BishopUniversity of California at DavisE-mailová adresa ověřena na: ucdavis.edu
Steven ZeilProfessor of Computer Science, Old Dominion UniversityE-mailová adresa ověřena na: odu.edu
Sean PeisertCybersecurity & Privacy R&D Lead, Lawrence Berkeley National Laboratory; Adjunct Professor, UC DavisE-mailová adresa ověřena na: lbl.gov
Roger Daglius Dias, MD, MBA, PhDAssistant Professor of Emergency Medicine at Harvard Medical SchoolE-mailová adresa ověřena na: bwh.harvard.edu
Steven Yule, PhDUniversity of EdinburghE-mailová adresa ověřena na: ed.ac.uk
Julian M GoldmanMassachusetts General HospitalE-mailová adresa ověřena na: mgh.harvard.edu
M S RaunakComputer Scientist, National Institute of Standards and Technology (NIST)E-mailová adresa ověřena na: nist.gov
Jenna MarquardUniversity of MinnesotaE-mailová adresa ověřena na: umn.edu
David S. RosenblumGeorge Mason UniversityE-mailová adresa ověřena na: alumni.stanford.edu

Sledovat

Lori Clarke

Professor of Computer Science, University of Massachusetts Amherst

E-mailová adresa ověřena na: cs.umass.edu - Domovská stránka

Software Engineering Software testing and verification human-intensive systems


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
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	190	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	118	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

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledovat

Citace

Spoluautoři