Profiler

Shing-Chi Cheung

Chair Professor of Computer Science and Engineering, HKUST

Verificeret mail på cse.ust.hk

Citeret af 11538

Software Engineering Software Testing Program Testing Program Analysis Automated Debugging

Robert Cartwright

Professor of Computer Science, Rice University

Verificeret mail på rice.edu

Citeret af 3216

Programming Languages Software Engineering Program Testing Language Design Program Semantics

Di Jin (金迪)

Brown University

Verificeret mail på brown.edu

Citeret af 249

system security program testing operating system

Zi Wang

PhD student, University of Wisconsin-Madison

Verificeret mail på cs.wisc.edu

Citeret af 196

program verification deep learning program testing

Enyi Tang

Nanjing University

Verificeret mail på nju.edu.cn

Citeret af 182

Numerical Analysis Program Testing Program Analysis

Bozhen Liu

Texas A&M University - Corpus Christi

Verificeret mail på tamucc.edu

Citeret af 156

Incremental pointer analysis Program analysis Concurrent and Distributed System Program Testing

Qiuping Yi

ISCAS

Verificeret mail på nfs.iscas.ac.cn

Citeret af 152

Program Testing Concurrency and Parallelism Verification and Fault Localization

Rasool Maghareh

Senior R&D Software Engineer at Huawei Canada Research Centre

Verificeret mail på lemurianlabs.com

Citeret af 106

Heterogenous Computing Resource Analysis Program Analysis Symbolic Execution Program Testing

Pankaj Kumar Kalita

IIT Kanpur

Verificeret mail på cse.iitk.ac.in

Citeret af 37

Programming Language Formal Methods Program Synthesis Program Testing

Wonseok Oh

Ph.d Student of Computer Science, Korea University

Verificeret mail på korea.ac.kr

Citeret af 19

static analysis program repair program testing