1 code implementation • 14 May 2020 • Pieter Delobelle, Paul Temple, Gilles Perrouin, Benoît Frénay, Patrick Heymans, Bettina Berendt
These new examples are then used to retrain and improve the model in the first step.
1 code implementation • 17 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
1 code implementation • 16 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.