18 citations · 33 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017★ 1 cited
Abstract Interpretation using a Language of Symbolic Approximation
Matthieu Lemerre, Sébastien Bardin
The traditional abstract domain framework for imperative programs suffers from several shortcomings; in particular it does not allow precise symbolic abstractions. To solve these p…
cs.SE2010
CONFIGEN: A tool for managing configuration options
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interact…