Search Results for author: Gilles Perrouin

Found 3 papers, 3 papers with code

An SMT-Based Concolic Testing Tool for Logic Programs

1 code implementation17 Feb 2020 Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal

Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively.

Logic in Computer Science

Towards Quality Assurance of Software Product Lines with Adversarial Configurations

1 code implementation16 Sep 2019 Paul Temple, Mathieu Acher, Gilles Perrouin, Battista Biggio, Jean-marc Jezequel, Fabio Roli

Software product line (SPL) engineers put a lot of effort to ensure that, through the setting of a large number of possible configuration options, products are acceptable and well-tailored to customers' needs.

BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.