Perfils

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL

Correu electrònic verificat a ucl.ac.uk

Citat per 46254

SBSE Software Testing Evolutionary Computation Program Analysis Software Engineering

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of …

Correu electrònic verificat a cs.wisc.edu

Citat per 28606

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University

Correu electrònic verificat a cispa.de

Citat per 26243

Software Engineering Program Analysis Software Testing Automated Debugging Software Security

Thomas Ball

Microsoft Research

Correu electrònic verificat a microsoft.com

Citat per 26041

Program analysis verification testing CS education

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Correu electrònic verificat a cs.berkeley.edu

Citat per 26019

Computer Science Testing Debugging Program Analysis Concurrency

Patrice Godefroid

Lacework

Citat per 24238

Program Analysis Testing and Verification

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …

Correu electrònic verificat a pku.edu.cn

Citat per 23536

Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology

Correu electrònic verificat a gatech.edu

Citat per 21967

Parallel computing Programming languages Compilers Program Analysis Runtime Systems

Nicolas Halbwachs

CNRS / Verimag

Correu electrònic verificat a imag.fr

Citat per 17784

Synchronous programming Program analysis Embedded systems Formal methods

Stéphane Ducasse

INRIA Research Director

Correu electrònic verificat a inria.fr

Citat per 17730

software maintenance program analysis dynamic language reflective programming

1 - 10