Reverse-Engineering Drivers for Safety and Portability. - Vitaly Chipounov; George Candea (HotDep, 2008)

Cloud9: a software testing service. - Liviu Ciortea; Cristian Zamfir; Stefan Bucur; Vitaly Chipounov; George Candea (ACM SIGOPS Oper. Syst. Rev., 2009)

Reverse engineering of binary device drivers with RevNIC. - Vitaly Chipounov; George Candea (EuroSys, 2010)

Testing Closed-Source Binary Device Drivers with DDT. - Volodymyr Kuznetsov; Vitaly Chipounov; George Candea (USENIX ATC, 2010)

S2E: a platform for in-vivo multi-path analysis of software systems. - Vitaly Chipounov; Volodymyr Kuznetsov; George Candea (ASPLOS, 2011)

Enabling sophisticated analyses of ×86 binaries with RevGen. - Vitaly Chipounov; George Candea (DSN Workshops, 2011)

The S2E Platform: Design, Implementation, and Applications. - Vitaly Chipounov; Volodymyr Kuznetsov; George Candea (ACM Trans. Comput. Syst., 2012)

Lightweight Snapshots and System-level Backtracking. - Edouard Bugnion; Vitaly Chipounov; George Candea (HotOS, 2013)

S²E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. - Vitaly Chipounov (2014)

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing. - Bin Zhang; Chao Feng 002; Adrian Herrera; Vitaly Chipounov; George Candea; Chaojing Tang (IET Softw., 2018)