Mathias Payer

Mathias Payer

EPFL IC, HexHive Laboratory
在 nebelwelt.net 的电子邮件经过验证
被引用次数：10413
system security software security mitigations sanitization automated testing
Stefan Bucur

Stefan Bucur

Google Inc.
在 google.com 的电子邮件经过验证
被引用次数：1428
Operating Systems Program Analysis Symbolic Execution Automated Testing
Daniel Lehmann

Daniel Lehmann

Google
在 dlehmann.eu 的电子邮件经过验证
被引用次数：951
Programming Languages Security Program Analysis Automated Testing
Samuel Jero

Samuel Jero

Network Security Researcher, MIT Lincoln Laboratory
在 ll.mit.edu 的电子邮件经过验证
被引用次数：788
Transport Protocols Software Defined Networking (SDN) network security automated testing
Steve Riddle

Steve Riddle

Newcastle University
在 ncl.ac.uk 的电子邮件经过验证
被引用次数：675
Computing Pedagogy Automated Proof Automated Testing Requirements Engineering Code Quality
Pan Wang

Pan Wang

Vanderbilt University;
在 vanderbilt.edu 的电子邮件经过验证
被引用次数：667
Reliability Microelectronics automated testing data science
Paul Marinescu

Paul Marinescu

Facebook
在 fb.com 的电子邮件经过验证
被引用次数：659
Software Engineering Software Systems Automated Testing
Steven Erat

Steven Erat

Computer Scientist, Adobe Systems. Formerly Research Assistant USDA and NIH/NIA
在 adobe.com 的电子邮件经过验证
被引用次数：529
Automated Testing Photography Cell Biology Molecular Biology Neuroscience
César Rodríguez

César Rodríguez

Cadence & Associate Professor, University of Paris 13, France
在 lipn.fr 的电子邮件经过验证
被引用次数：512
Program analysis Symbolic execution Concurrency Automated testing Verification
Qiang Guo

Qiang Guo

Teesside University
在 tees.ac.uk 的电子邮件经过验证
被引用次数：487
Formal Methods Automated Testing Model Checking Evolutionary Computing Parallel Computing
1 - 10