Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
Подтвержден адрес электронной почты в домене ucl.ac.uk
Цитируется: 44424
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
Цитируется: 28185
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Thomas Ball

Thomas Ball

Microsoft Research
Подтвержден адрес электронной почты в домене microsoft.com
Цитируется: 25639
Program analysis verification testing CS education
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Подтвержден адрес электронной почты в домене cispa.de
Цитируется: 25573
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
Подтвержден адрес электронной почты в домене cs.berkeley.edu
Цитируется: 25019
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
Подтвержден адрес электронной почты в домене lacework.net
Цитируется: 23673
Program Analysis Testing and Verification
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
Подтвержден адрес электронной почты в домене pku.edu.cn
Цитируется: 22621
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
Цитируется: 21642
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
Подтвержден адрес электронной почты в домене imag.fr
Цитируется: 17650
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
Подтвержден адрес электронной почты в домене inria.fr
Цитируется: 17461
software maintenance program analysis dynamic language reflective programming
1 - 10