Tsong Yueh Chen

Tsong Yueh Chen

Professor of Software Engineering,Swinburne University of Technology
在 swin.edu.au 的电子邮件经过验证
被引用次数：16871
Software Testing Software Analysis Debugging
Lu Zhang

Lu Zhang

Peking University
在 sei.pku.edu.cn 的电子邮件经过验证
被引用次数：14630
Software Engineering Software Testing Software Analysis
Paul Klint

Paul Klint

Prof. in Software Engineering, Univ. of Amsterdam and Head of Software Engineering, CWI
在 cwi.nl 的电子邮件经过验证
被引用次数：10949
Software engineering meta-programming domain-specific languages software analysis software transformation
Emden Gansner

Emden Gansner

self
在 alum.mit.edu 的电子邮件经过验证
被引用次数：10538
graph drawing graph algorithms algebraic combinatorics data mining software analysis
Chao Shen

Chao Shen

Professor, Xi'an Jiaotong University
在 cmu.edu 的电子邮件经过验证
被引用次数：5767
AI Security Software Analysis Control System
Leonardo Mariani

Leonardo Mariani

University of Milano - Bicocca
在 unimib.it 的电子邮件经过验证
被引用次数：4773
Software Testing Software Analysis Software Engineering Computer Science
Heinrich (Heinz) Wilhelm Schmidt

Heinrich (Heinz) Wilhelm Schmidt

Computer Science, RMIT University & Innovation Software Advisory
在 rmit.edu.au 的电子邮件经过验证
被引用次数：3882
Distributed software Software analysis Concurrent programming Program verification Software reliability
Ting Su

Ting Su

East China Normal University, China
在 sei.ecnu.edu.cn 的电子邮件经过验证
被引用次数：3016
Software Analysis Testing Verification
Marjan Sirjani

Marjan Sirjani

Mälardalen University
在 mdh.se 的电子邮件经过验证
被引用次数：2923
Concurrency Theory Software Engineering Formal Methods Model Checking Software Analysis
Shang-Wei Lin

Shang-Wei Lin

Associate Professor, Singapore Institute of Technology (SIT)
在 singaporetech.edu.sg 的电子邮件经过验证
被引用次数：2199
Formal Methods Program Verification Software Analysis Quantum Computing
1 - 10