Corina Pasareanu

Corina Pasareanu

CMU/NASA Ames
在 nasa.gov 的电子邮件经过验证
被引用次数：13774
Symbolic execution compositional verification abstraction
Mauro Pezzè

Mauro Pezzè

Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
在 usi.ch 的电子邮件经过验证
被引用次数：11627
Software Engineering Software Testing Program Analysis Self-Healing Systems Symbolic Execution
Willem Visser

Willem Visser

Computer Science Division, Stellenbosch University
在 cs.sun.ac.za 的电子邮件经过验证
被引用次数：11409
Testing Symbolic Execution Software Engineering Model Checing
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
在 cs.umn.edu 的电子邮件经过验证
被引用次数：6225
Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation
Cristian Zamfir

Cristian Zamfir

Cyberhaven
在 cyberhaven.io 的电子邮件经过验证
被引用次数：2417
operating systems reliability debugging symbolic execution execution synthesis
Audrey Dutcher

Audrey Dutcher

Student, Arizona State University
在 rhelmot.io 的电子邮件经过验证
被引用次数：2407
Binary Analysis Decompilation Symbolic Execution Reverse Engineering
Noam Rinetzky

Noam Rinetzky

Assistant Professor of Computer Science, Tel Aviv University
在 cs.tau.ac.il 的电子邮件经过验证
被引用次数：2356
Verification Concurrency Symbolic execution
Stephen F. Siegel

Stephen F. Siegel

Dept. of Computer & Information Sciences and Mathematical Sciences, University of …
在 udel.edu 的电子邮件经过验证
被引用次数：1615
verification logic software engineering symbolic execution model checking
Stefan Bucur

Stefan Bucur

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

Jiangfan Shi

University of Nebraska - Lincoln
被引用次数：1094
Software Testing and Verification Model Checking Symbolic Execution Static Analysis
1 - 10