Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
在 ucl.ac.uk 的电子邮件经过验证
被引用次数：39801
SBSE Software Testing Evolutionary Computation Program Analysis Software Engineering
Thomas Reps

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of …
在 cs.wisc.edu 的电子邮件经过验证
被引用次数：26955
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Thomas Ball

Thomas Ball

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：24696
Program analysis verification testing CS education
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
在 cispa.de 的电子邮件经过验证
被引用次数：23573
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
在 cs.berkeley.edu 的电子邮件经过验证
被引用次数：23248
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
在 lacework.net 的电子邮件经过验证
被引用次数：22139
Program Analysis Testing and Verification
Vivek Sarkar

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology
在 gatech.edu 的电子邮件经过验证
被引用次数：20841
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
在 pku.edu.cn 的电子邮件经过验证
被引用次数：19925
Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
在 imag.fr 的电子邮件经过验证
被引用次数：17095
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
在 inria.fr 的电子邮件经过验证
被引用次数：16696
software maintenance program analysis dynamic language reflective programming
1 - 10