Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où GILLES PERROUIN est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 12 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

MALTESQUE 2019 Workshop Summary

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 janv. 2020, Dans : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
  • 18 Téléchargements (Pure)

    Search-based crash reproduction using behavioural model seeding

    Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 mai 2020, Dans : Software Testing, Verification and Reliability. 30, 3, e1733.

    Résultats de recherche: Contribution à un journal/une revueArticle

    Accès ouvert
    File
    25 Téléchargements (Pure)

    STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 févr. 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (ACM International Conference Proceeding Series).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
  • 27 Téléchargements (Pure)

    Ensembles de données

    Replication package of "Search-based Crash Reproduction using Behavioral Model Seeding"

    Derakhshanfar, P. (Créateur), DEVROEY, X. (Créateur), PERROUIN, G. (Créateur), Zaidman, A. (Créateur) & van Deursen, A. (Créateur), Zenodo, 18 avr. 2020

    Ensemble de données

    JHipster v3.6.1 dataset

    DEVROEY, X. (Créateur), Halin, A. (Créateur), Nuttinck, A. (Créateur), Acher, M. (Créateur) & PERROUIN, G. (Créateur), Zenodo, 26 avr. 2020

    Ensemble de données

    Activités

    Formal verification of railway interlocking systems

    Gilles Perrouin (Promoteur)

    18 déc. 2019

    Activité: Types d'examenThèse externe

    Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

    Gilles Perrouin (Orateur)

    28 nov. 2019

    Activité: Types de discours ou de présentationPrésentation orale

    Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

    Gilles Perrouin (Orateur)

    26 avr. 2019

    Activité: Types de discours ou de présentationPrésentation orale

    Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

    Gilles Perrouin (Orateur)

    12 avr. 2019

    Activité: Types de discours ou de présentationPrésentation orale

    Thèse

    Architecting software systems using model transformations and architectural frameworks

    Author: Perrouin, G., 20 sept. 2007

    Superviseur: Heymans, P. (Promoteur), Hainaut, J. (Jury), Guelfi, N. (Personne externe) (Copromoteur), Bouvry, P. (Personne externe) (Jury), VAN DER LINDEN, F. (Personne externe) (Jury), Jézéquel, J. (Personne externe) (Jury) & Schobbens, P. (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Fichier