Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
E-mail confirmado em ucl.ac.uk
Citado por 45251
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 …
E-mail confirmado em cs.wisc.edu
Citado por 28402
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
E-mail confirmado em cispa.de
Citado por 25891
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Thomas Ball

Thomas Ball

Microsoft Research
E-mail confirmado em microsoft.com
Citado por 25835
Program analysis verification testing CS education
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
E-mail confirmado em cs.berkeley.edu
Citado por 25496
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
Citado por 23989
Program Analysis Testing and Verification
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
E-mail confirmado em pku.edu.cn
Citado por 23014
Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories
Vivek Sarkar

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology
E-mail confirmado em gatech.edu
Citado por 21798
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
E-mail confirmado em imag.fr
Citado por 17731
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
E-mail confirmado em inria.fr
Citado por 17566
software maintenance program analysis dynamic language reflective programming
1 - 10