Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
Patvirtintas el. paštas ucl.ac.uk
Cituoja 45860
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 …
Patvirtintas el. paštas cs.wisc.edu
Cituoja 28620
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Patvirtintas el. paštas cispa.de
Cituoja 26223
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Thomas Ball

Thomas Ball

Microsoft Research
Patvirtintas el. paštas microsoft.com
Cituoja 26097
Program analysis verification testing CS education
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
Patvirtintas el. paštas cs.berkeley.edu
Cituoja 25992
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
Cituoja 24172
Program Analysis Testing and Verification
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
Patvirtintas el. paštas pku.edu.cn
Cituoja 23376
Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories
Vivek Sarkar

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology
Patvirtintas el. paštas gatech.edu
Cituoja 21952
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
Patvirtintas el. paštas imag.fr
Cituoja 17761
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
Patvirtintas el. paštas inria.fr
Cituoja 17597
software maintenance program analysis dynamic language reflective programming
1 - 10