Mark Harman

Mark Harman

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

Andreas Zeller

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

Thomas Ball

Microsoft Research
Verified email at microsoft.com
Cited by 25762
Program analysis verification testing CS education
Koushik Sen

Koushik Sen

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

Patrice Godefroid

Lacework
Cited by 23923
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 22946
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 21766
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
Verified email at imag.fr
Cited by 17717
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
Verified email at inria.fr
Cited by 17552
software maintenance program analysis dynamic language reflective programming
1 - 10