Corina Pasareanu

Corina Pasareanu

CMU/NASA Ames
E-mail confirmado em nasa.gov
Citado por 14316
Symbolic execution compositional verification abstraction
Mauro Pezzè

Mauro Pezzè

Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
E-mail confirmado em usi.ch
Citado por 12061
Software Engineering Software Testing Program Analysis Self-Healing Systems Symbolic Execution
Willem Visser

Willem Visser

Computer Science Division, Stellenbosch University
E-mail confirmado em cs.sun.ac.za
Citado por 11656
Testing Symbolic Execution Software Engineering Model Checing
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
E-mail confirmado em cs.umn.edu
Citado por 6413
Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation
Audrey Dutcher

Audrey Dutcher

Student, Arizona State University
E-mail confirmado em rhelmot.io
Citado por 2671
Binary Analysis Decompilation Symbolic Execution Reverse Engineering
Noam Rinetzky

Noam Rinetzky

Assistant Professor of Computer Science, Tel Aviv University
E-mail confirmado em cs.tau.ac.il
Citado por 2524
Verification Concurrency Symbolic execution
Cristian Zamfir

Cristian Zamfir

Cyberhaven
E-mail confirmado em cyberhaven.io
Citado por 2491
operating systems reliability debugging symbolic execution execution synthesis
Stephen F. Siegel

Stephen F. Siegel

Dept. of Computer & Information Sciences and Mathematical Sciences, University of …
E-mail confirmado em udel.edu
Citado por 1648
verification logic software engineering symbolic execution model checking
Stefan Bucur

Stefan Bucur

Google Inc.
E-mail confirmado em google.com
Citado por 1482
Operating Systems Program Analysis Symbolic Execution Automated Testing
Jiangfan Shi

Jiangfan Shi

University of Nebraska - Lincoln
Citado por 1117
Software Testing and Verification Model Checking Symbolic Execution Static Analysis
1 - 10