Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
Verified email at ucl.ac.uk
Cited by 43443
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 …
Verified email at cs.wisc.edu
Cited by 27898
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Thomas Ball

Thomas Ball

Microsoft Research
Verified email at microsoft.com
Cited by 25396
Program analysis verification testing CS education
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Verified email at cispa.de
Cited by 25103
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Yang Liu

Yang Liu

Nanyang Technological University
Verified email at ntu.edu.sg
Cited by 24577
Software Engineering Cyber Security Program Analysis Trustworthy AI Formal Methods
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
Verified email at cs.berkeley.edu
Cited by 24451
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
Verified email at lacework.net
Cited by 23349
Program Analysis Testing and Verification
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
Verified email at pku.edu.cn
Cited by 22057
Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories
Vivek Sarkar

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology
Verified email at gatech.edu
Cited by 21426
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
Verified email at imag.fr
Cited by 17556
Synchronous programming Program analysis Embedded systems Formal methods
1 - 10