If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where GILLES PERROUIN is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 14 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

An SMT-Based Concolic Testing Tool for Logic Programs

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePoster

MALTESQUE 2019 Workshop Summary

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

Research output: Contribution to journalArticle

Open Access
File
  • 15 Downloads (Pure)

    Search-based crash reproduction using behavioural model seeding

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

    Research output: Contribution to journalArticle

    Open Access
    File
    19 Downloads (Pure)

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

    Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 Feb 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
  • 15 Downloads (Pure)

    Datasets

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

    Derakhshanfar, P. (Creator), DEVROEY, X. (Creator), PERROUIN, G. (Creator), Zaidman, A. (Creator) & van Deursen, A. (Creator), Zenodo, 18 Apr 2020

    Dataset

    JHipster v3.6.1 dataset

    DEVROEY, X. (Creator), Halin, A. (Creator), Nuttinck, A. (Creator), Acher, M. (Contributor) & PERROUIN, G. (Contributor), Zenodo, 26 Apr 2020

    Dataset

    Activities

    Formal verification of railway interlocking systems

    Gilles Perrouin (Supervisor)

    18 Dec 2019

    Activity: Examination typesExternal Thesis

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

    Gilles Perrouin (Speaker)

    28 Nov 2019

    Activity: Talk or presentation typesOral presentation

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

    Gilles Perrouin (Speaker)

    26 Apr 2019

    Activity: Talk or presentation typesOral presentation

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

    Gilles Perrouin (Speaker)

    12 Apr 2019

    Activity: Talk or presentation typesOral presentation

    Thesis

    Architecting software systems using model transformations and architectural frameworks

    Author: Perrouin, G., 20 Sep 2007

    Supervisor: Heymans, P. (Supervisor), Hainaut, J. (Jury), Guelfi, N. (External person) (Co-Supervisor), Bouvry, P. (External person) (Jury), VAN DER LINDEN, F. (External person) (Jury), Jézéquel, J. (External person) (Jury) & Schobbens, P. (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 Aug 2017

    Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Comparative analysis of variability mapping techniques

    Author: Leclercq, M., 2011

    Supervisor: Heymans, P. (Supervisor) & Perrouin, G. (Co-Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Engineering Configuration Graphical User Interfaces from Variability Models

    Author: Boucher, Q., 26 Sep 2014

    Supervisor: Heymans, P. (Supervisor), Englebert, V. (Jury), Perrouin, G. (Jury), Botterweck, G. (External person) (Jury) & Vanderdonck, J. (External person) (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File

    Mining and Generating Vulnerable Patterns for Security Testing

    Author: Ibragimov, A., 22 Jun 2018

    Supervisor: Heymans, P. (Supervisor) & Perrouin, G. (Co-Supervisor)

    Student thesis: Master typesMaster in Computer Science Professional focus in Software engineering

    File