Mark Harman

Mark Harman

Research Scientist at Meta & Professor of Software Engineering at UCL
Preverjeni e-poštni naslov na ucl.ac.uk
Navedeno v 46012 virih
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 …
Preverjeni e-poštni naslov na cs.wisc.edu
Navedeno v 28661 virih
Programming Languages Program Analysis Computer Security Program Verification Program Synthesis
Andreas Zeller

Andreas Zeller

Faculty, CISPA Helmholtz Center for Information Security • Professor, Saarland University
Preverjeni e-poštni naslov na cispa.de
Navedeno v 26287 virih
Software Engineering Program Analysis Software Testing Automated Debugging Software Security
Thomas Ball

Thomas Ball

Microsoft Research
Preverjeni e-poštni naslov na microsoft.com
Navedeno v 26130 virih
Program analysis verification testing CS education
Koushik Sen

Koushik Sen

Professor of Computer Science, University of California, Berkeley
Preverjeni e-poštni naslov na cs.berkeley.edu
Navedeno v 26094 virih
Computer Science Testing Debugging Program Analysis Concurrency
Patrice Godefroid

Patrice Godefroid

Lacework
Navedeno v 24206 virih
Program Analysis Testing and Verification
Tao Xie

Tao Xie

Peking University Chair Professor, Chair of Department of Software Science and …
Preverjeni e-poštni naslov na pku.edu.cn
Navedeno v 23463 virih
Software Engineering Software Testing Program Analysis Software Analytics Mining Software Repositories
Vivek Sarkar

Vivek Sarkar

School of Computer Science, Georgia Institute of Technology
Preverjeni e-poštni naslov na gatech.edu
Navedeno v 21991 virih
Parallel computing Programming languages Compilers Program Analysis Runtime Systems
Nicolas Halbwachs

Nicolas Halbwachs

CNRS / Verimag
Preverjeni e-poštni naslov na imag.fr
Navedeno v 17776 virih
Synchronous programming Program analysis Embedded systems Formal methods
Stéphane Ducasse

Stéphane Ducasse

INRIA Research Director
Preverjeni e-poštni naslov na inria.fr
Navedeno v 17625 virih
software maintenance program analysis dynamic language reflective programming
1 - 10