| S2E: A platform for in-vivo multi-path analysis of software systems V Chipounov, V Kuznetsov, G Candea Acm Sigplan Notices 46 (3), 265-278, 2011 | 1011 | 2011 |
| Cloud9: A software testing service L Ciortea, C Zamfir, S Bucur, V Chipounov, G Candea ACM SIGOPS Operating Systems Review 43 (4), 5-10, 2010 | 296 | 2010 |
| The S2E platform: Design, implementation, and applications V Chipounov, V Kuznetsov, G Candea ACM Transactions on Computer Systems (TOCS) 30 (1), 1-49, 2012 | 285 | 2012 |
| Selective symbolic execution V Chipounov, V Georgescu, C Zamfir, G Candea Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009 | 158 | 2009 |
| Testing {Closed-Source} Binary Device Drivers with {DDT} V Kuznetsov, V Chipounov, G Candea 2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010 | 148 | 2010 |
| Reverse engineering of binary device drivers with RevNIC V Chipounov, G Candea Proceedings of the 5th European conference on Computer systems, 167-180, 2010 | 125 | 2010 |
| System and method for in-vivo multi-path analysis of binary software G Candea, V Chipounov, V Kuznetsov US Patent 8,776,026, 2014 | 88 | 2014 |
| Dynamically Translating x86 to LLVM using QEMU V Chipounov, G Candea | 59 | 2010 |
| Enabling sophisticated analyses of× 86 binaries with revgen V Chipounov, G Candea 2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011 | 56 | 2011 |
| Lightweight snapshots and system-level backtracking E Bugnion, V Chipounov, G Candea Presented as part of the 14th Workshop on Hot Topics in Operating Systems, 2013 | 19 | 2013 |
| Reverse-engineering drivers for safety and portability V Chipounov, G Candea Proceedings of the 4th Workshop on Hot Topics in System Dependability (HotDep), 2008 | 7 | 2008 |
| Discover deeper bugs with dynamic symbolic execution and coverage‐based fuzz testing B Zhang, C Feng, A Herrera, V Chipounov, G Candea, C Tang Iet Software 12 (6), 507-519, 2018 | 6 | 2018 |
| The SE Platform V Chipounov, V Kuznetsov, G Candea ACM Transactions on Computer Systems (), 2011 | | 2011 |
| Solution open source ou propriétaire. Content/web V Chipounov, P Conus, S Ramareddy, PA Robert, S Ruchet | | 2007 |
| Group ID U11275 Affiliated authors Andrica, Silviu R Banabic, AEW Bique, P Borsò-Tan, CM Brzak, S Bucur, G Candea, ... | | |
| Using Automated Reverse Engineering for the Safe Execution of Untrusted Device Drivers V Chipounov, G Candea, W Zwaenepoel | | |
