Charles-Henri Gros

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Detection Scheme

Incremental Clustering

Software Platform

Top Venues

ESEC/SIGSOFT FSE

Publications

Scott McPeak, Charles-Henri Gros, Murali Krishna Ramanathan
Scalable and incremental software bug detection. ESEC/SIGSOFT FSE (2013)
Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler
A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53 (2) (2010)