Mark Harman

Mark Harman

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

Thomas Reps

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

Thomas Ball

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

Andreas Zeller

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

Yang Liu

Nanyang Technological University
在 ntu.edu.sg 的电子邮件经过验证
被引用次数：25214
Software Engineering Cyber Security Program Analysis Trustworthy AI Formal Methods
Koushik Sen

Koushik Sen

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

Patrice Godefroid

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

Tao Xie

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

Vivek Sarkar

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

Nicolas Halbwachs

CNRS / Verimag
在 imag.fr 的电子邮件经过验证
被引用次数：17578
Synchronous programming Program analysis Embedded systems Formal methods
1 - 10