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.

  • 22 Similar Profiles
Testing Engineering & Materials Science
Explosions Engineering & Materials Science
Software engineering Engineering & Materials Science
Sampling Engineering & Materials Science
Software Product Lines Mathematics
Engineers Engineering & Materials Science
Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science

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

Projects 2003 2019

Research Output 2002 2019

8 Downloads (Pure)

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
Testing
Black-box testing
Application programming interfaces (API)

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Explosions
Open Access
File

Preface to the thirteenth workshop on variability modelling of software-intensive systems

Perrouin, G. & Weyns, D., 6 Feb 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

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

Search-based Crash Reproduction using Behavioral Model Seeding

Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & Deursen, A. V., 10 Dec 2019, In : ArXiv pre-print.

Research output: Contribution to journalArticle

File

Activities 2002 2019

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