Searched for: author%3A%22Acher%2C+Mathieu%22
(1 - 3 of 3)
document
Halin, Axel (author), Nuttinck, Alexandre (author), Acher, Mathieu (author), Devroey, Xavier (author), Perrouin, Gilles (author), Baudry, Benoit (author)
This is an extended abstract of the article: Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, and Benoit Baudry. 2018. Test them all, is it worth it? Assessing config- uration sampling on the JHipster Web development stack. In Em- pirical Software Engineering (17 Jul 2018). https://doi.org/10.1007/ s10664-018-9635-4.
conference paper 2020
document
Plazar, Quentin (author), Acher, Mathieu (author), Perrouin, Gilles (author), Devroey, Xavier (author), Cordy, Maxime (author)
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest for the testing community. Recent works proposed two algorithms (namely UniGen and QuickSampler) for reaching a good compromise between execution time and uniformity guarantees, with empirical evidence on SAT...
conference paper 2019
document
Halin, Axel (author), Nuttinck, Alexandre (author), Acher, Mathieu (author), Devroey, Xavier (author), Perrouin, Gilles (author), Baudry, Benoit (author)
Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-aware abstractions and sampling techniques to cope with large configuration spaces. Yet, there is no theoretical barrier that prevents the exhaustive testing of all...
journal article 2018