Patrice Godefroid

Patrice Godefroid

Lacework
在 lacework.net 的电子邮件经过验证
被引用次数：23577
Program Analysis Testing and Verification
Xi Zheng

Xi Zheng

ARC Future Fellow & Director of Intelligent Systems Engineering Group, Macquarie …
在 mq.edu.au 的电子邮件经过验证
被引用次数：5517
Testing and Verification Security Analysis Distributed Learning IoT Software Engineering
Bruce F. Cockburn

Bruce F. Cockburn

Professor, University of Alberta
在 ualberta.ca 的电子邮件经过验证
被引用次数：2832
Computer Engineering Testing and Verification Parallel Computing Communications
Maxime Cordy

Maxime Cordy

University of Luxembourg
在 uni.lu 的电子邮件经过验证
被引用次数：2715
Artificial Intelligence Machine Learning Security Testing and Verification Software Engineering
Ke Mao

Ke Mao

Meta
在 meta.com 的电子邮件经过验证
被引用次数：1873
SBSE Dynamic Analysis Code Analysis Testing and Verification Continuous Integration
Shakiba Yaghoubi

Shakiba Yaghoubi

PhD, Motional
在 asu.edu 的电子邮件经过验证
被引用次数：584
Control Theory Machine learning in Control Cyber Physical Systems testing and verification
He Nannan

He Nannan

Associate Professor of ECET, Minnesota State University, Mankato
在 mnsu.edu 的电子邮件经过验证
被引用次数：583
embedded systems testing and verification model checking
Brajesh Pandey

Brajesh Pandey

IIT Bombay
在 ee.iitb.ac.in 的电子邮件经过验证
被引用次数：549
Analog and Mixed Signal Design Novel Device Design Testing and Verification
Ramona Enache

Ramona Enache

Postdoctoral Researcher, Department of Computer Science and Engineering, University of …
在 chalmers.se 的电子邮件经过验证
被引用次数：332
Language Technology Computational Linguistics Machine Translation Testing and Verification Formal Methods
Tanmay Khandait

Tanmay Khandait

Arizona State University
在 asu.edu 的电子邮件经过验证
被引用次数：131
Testing and Verification Cyber-Physical Systems Machine Learning Artificial Intelligence Optimization
1 - 10