Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Image document

NOTICE: A Framework for Non-functional Testing of Compilers

Mohamed Boussaa , Olivier Barais , Benoit Baudry , Gerson Sunyé
2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria
Communication dans un congrès hal-01344835v1
Image document

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families

Mohamed Boussaa , Olivier Barais , Gerson Sunyé , Benoit Baudry
Journal of Software Testing, Verification and Reliability, 2019, ⟨10.1002/stvr.1721⟩
Article dans une revue hal-02422437v1
Image document

A Novelty Search-based Test Data Generator for Object-oriented Programs

Mohamed Boussaa , Olivier Barais , Gerson Sunyé , Benoit Baudry
GECCO 2015, Jul 2015, Madrid, Spain. pp.1359--1360, ⟨10.1145/2739482.2764716⟩
Communication dans un congrès hal-01248177v1
Image document

A Novelty Search Approach for Automatic Test Data Generation

Mohamed Boussaa , Olivier Barais , Gerson Sunyé , Benoit Baudry
8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4
Communication dans un congrès hal-01121228v1
Image document

Automatic non-functional testing and tuning of configurable generators

Mohamed Boussaa
Mathematical Software [cs.MS]. Université de Rennes, 2017. English. ⟨NNT : 2017REN1S011⟩
Thèse tel-01598821v2
Image document

Automatic Non-functional Testing of Code Generators Families

Mohamed Boussaa , Olivier Barais , Benoit Baudry , Gerson Sunyé
15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11
Communication dans un congrès hal-01356849v1