Corina Pasareanu

Corina Pasareanu

CMU/NASA Ames
確認したメール アドレス: nasa.gov
被引用数: 14515
Symbolic execution compositional verification abstraction
Mauro Pezzè

Mauro Pezzè

Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
確認したメール アドレス: usi.ch
被引用数: 12287
Software Engineering Software Testing Program Analysis Self-Healing Systems Symbolic Execution
Willem Visser

Willem Visser

Computer Science Division, Stellenbosch University
確認したメール アドレス: cs.sun.ac.za
被引用数: 11728
Testing Symbolic Execution Software Engineering Model Checing
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
確認したメール アドレス: cs.umn.edu
被引用数: 6438
Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation
Audrey Dutcher

Audrey Dutcher

Student, Arizona State University
確認したメール アドレス: rhelmot.io
被引用数: 2761
Binary Analysis Decompilation Symbolic Execution Reverse Engineering
Noam Rinetzky

Noam Rinetzky

Assistant Professor of Computer Science, Tel Aviv University
確認したメール アドレス: cs.tau.ac.il
被引用数: 2565
Verification Concurrency Symbolic execution
Cristian Zamfir

Cristian Zamfir

Cyberhaven
確認したメール アドレス: cyberhaven.io
被引用数: 2491
operating systems reliability debugging symbolic execution execution synthesis
Mate Soos

Mate Soos

Ethereum Foundation
確認したメール アドレス: ethereum.org
被引用数: 1662
Symbolic Execution Model Counting IT Security Satisfiability Solving Functional Synthesis
Stephen F. Siegel

Stephen F. Siegel

Dept. of Computer & Information Sciences and Mathematical Sciences, University of …
確認したメール アドレス: udel.edu
被引用数: 1647
verification logic software engineering symbolic execution model checking
Stefan Bucur

Stefan Bucur

Google Inc.
確認したメール アドレス: google.com
被引用数: 1485
Operating Systems Program Analysis Symbolic Execution Automated Testing
1 - 10