Patrice Godefroid

Patrice Godefroid

Lacework
Zitiert von: 24212
Program Analysis Testing and Verification
Xi Zheng

Xi Zheng

ARC Future Fellow & Associate Professor (Equivalent to US Full Professor), Macquarie …
Bestätigte E-Mail-Adresse bei mq.edu.au
Zitiert von: 5881
Testing and Verification AI System Safety Distributed Learning CPS Software Engineering
Maxime Cordy

Maxime Cordy

University of Luxembourg
Bestätigte E-Mail-Adresse bei uni.lu
Zitiert von: 2980
Artificial Intelligence Machine Learning Security Testing and Verification Software Engineering
Bruce F. Cockburn

Bruce F. Cockburn

Professor, University of Alberta
Bestätigte E-Mail-Adresse bei ualberta.ca
Zitiert von: 2956
Computer Engineering Testing and Verification Parallel Computing Communications
Ke Mao

Ke Mao

Meta
Bestätigte E-Mail-Adresse bei meta.com
Zitiert von: 1976
SBSE Dynamic Analysis Code Analysis Testing and Verification Continuous Integration
Shakiba Yaghoubi

Shakiba Yaghoubi

PhD, Motional
Bestätigte E-Mail-Adresse bei asu.edu
Zitiert von: 652
Control Theory Machine learning in Control Cyber Physical Systems testing and verification
He Nannan

He Nannan

Associate Professor of ECET, Minnesota State University, Mankato
Bestätigte E-Mail-Adresse bei mnsu.edu
Zitiert von: 602
embedded systems testing and verification model checking
Brajesh Pandey

Brajesh Pandey

IIT Bombay
Bestätigte E-Mail-Adresse bei ee.iitb.ac.in
Zitiert von: 573
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 …
Bestätigte E-Mail-Adresse bei chalmers.se
Zitiert von: 332
Language Technology Computational Linguistics Machine Translation Testing and Verification Formal Methods
Tanmay Khandait

Tanmay Khandait

Arizona State University
Bestätigte E-Mail-Adresse bei asu.edu
Zitiert von: 197
Testing and Verification Cyber-Physical Systems Machine Learning Artificial Intelligence Optimization
1 - 10