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

Research Output

2020

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

Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

Delobelle, P., Temple, P., Perrouin, G., FRENAY, BENOIT., Heymans, P. & Berendt, B., 14 May 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 15 p.

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

Open Access
File
9 Downloads (Pure)

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
18 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
26 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

2019

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
28 Downloads (Pure)

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)

Open Access
File
128 Downloads (Pure)

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

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 15 Apr 2019, In : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

Research output: Contribution to journalArticle

Open Access
File
13 Downloads (Pure)

Towards qality assurance of software product lines with adversarial configurations

Temple, P., Acher, M., Perrouin, G., Biggio, B., Jézéquel, J. M. & Roli, F., 9 Sep 2019, SPLC 2019 - 23rd International Systems and Software Product Line Conference. Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, (ACM International Conference Proceeding Series; vol. A).

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

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

Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, p. 240-251 12 p. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Open Access

Welcome from the chairs

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Acher, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 27 Aug 2019, MaLTeSQuE 2019: Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation. Arcelli Fontana, F., Walter, B., Ampatzoglou, A., Palomba, F., Perrouin, G., Acher, M., Cordy, M. & Devroey, X. (eds.). ACM Press, p. III-IV

Research output: Contribution in Book/Catalog/Report/Conference proceedingForeword/postscript

File
2018

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

Research output: Contribution to journalArticle

Open Access
File
38 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
27 Downloads (Pure)

Software Testing Research

Perrouin, G., 2018.

Research output: Contribution to conferencePoster

Open Access
File
2017

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 13 Mar 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (ICST '17).

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

Open Access
File
16 Downloads (Pure)

Engineering Configuration Graphical User Interfaces from Variability Models

Boucher, Q., Perrouin, G., Davril, J-M. & Heymans, P., 2017, Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer, p. 1-46

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
35 Downloads (Pure)

Feature-based Elicitation of Cognitively Efficient Visualizations for SPL Configurations

Sauvage-Thomase, C., Biri, N., Perrouin, G., Genon, N. & Heymans, P., 2017, Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer Verlag, p. 107-129

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
21 Downloads (Pure)

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., Jan 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10139 LNCS).

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

File
25 Downloads (Pure)

On quantitative requirements for product lines

Legay, A. & Perrouin, G., 1 Feb 2017, Proceedings - VaMoS 2017: 11th International Workshop on Variability Modelling of Software-Intensive Systems. Schaefer, I., ter Beek, M. H. & Siegmund, N. (eds.). Eindhoven: ACM Press, p. 2-4 3 p.

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

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Research output: Contribution to journalArticle

Open Access
File
206 Downloads (Pure)

Testing Variability-Intensive Systems

Perrouin, G., Devroey, X. & Cordy, M., 26 Sep 2017, SPLC 2017 - 21st International Systems and Software Product Line Conference, Proceedings. Fuentes, L., Bagheri, E., Ruiz-Cortes, A., Benavides, D., Capilla, R., Xiong, Y., Bosch, J., Acher, M., Schall, D., Cohen, M. & Troya, J. (eds.). New York, New York, USA: ACM Press, Vol. 1. p. 255-255 1 p. (SPLC '17).

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

Towards Security-aware Mutation Testing

Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P., 13 Mar 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017: Mutation 2017. IEEE, p. 97-102 6 p. 7899041. (ICSTW '17).

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

Open Access
File
46 Downloads (Pure)

Yo Variability! JHipster: A Playground for Web-Apps Analyses

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P., 1 Feb 2017, Proceedings - VaMoS 2017: 11th International Workshop on Variability Modelling of Software-Intensive Systems. Schaefer, I., ter Beek, M. H. & Siegmund, N. (eds.). Eindhoven, Netherlands: ACM Press, p. 44-51 8 p. (VaMoS '17).

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

Open Access
File
119 Downloads (Pure)
2016

A Complexity Tale: Web Configurators

Perrouin, G., Acher, M., Davril, J-M., Legay, A. & Heymans, P., 2016, IEEE/ACM 1st International Workshop on Variability and Complexity in Software Design (VACE). Austin: ACM Press

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

Featured Model-based Mutation Analysis

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., May 2016, Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16).

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

Open Access
File
114 Downloads (Pure)

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y., 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press

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

Message from the A-MOST 2016 Chairs

Papadakis, M. (ed.), Perrouin, G. (ed.) & Ali, S. (ed.), 1 Apr 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE

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

Search-based Similarity-driven Behavioural SPL Testing

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 Jan 2016, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16).

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

Open Access
File
110 Downloads (Pure)

Unlocking visual understanding: Towards effective keys for diagrams

Genon, N., Perrouin, G., Le Pallec, X. & Heymans, P., 2016, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Springer Verlag, Vol. 9974 LNCS. p. 505-512 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

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

Variability and Complexity in Software Design: Towards a Research Agenda

Galster, M., Zdun, U., Weyns, D., Rabiser, R., Zhang, B., Goedicke, M. & Perrouin, G., Nov 2016, In : ACM SIGSOFT Software Engineering Notes. 41, 6, p. 27-30 4 p.

Research output: Contribution to journalArticle

File
7 Downloads (Pure)
2015

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol. 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).

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

Open Access
File
266 Downloads (Pure)

Message from the chairs - A MOST 2015

Papadakis, M., Lucio, L. & Perrouin, G., 13 May 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7107401

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

Poster: VIBeS, Transition System Mutation Made Easy

Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P., 12 Aug 2015, Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol. 2. p. 817-818 2 p. 7203084

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

File
141 Downloads (Pure)

SPLat 2015 Second international workshop on software product line analysis tools

Perrouin, G. & Legay, A., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol. 20-24-July-2015. p. 395-395 1 p.

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

2014

Abstract test case generation for behavioural testing of software product lines

Devroey, X., Perrouin, G. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol. 2. p. 86-93 8 p. (SPLC '14).

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

File
52 Downloads (Pure)

A Variability Perspective of Mutation Analysis

Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 Nov 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

Open Access
File
319 Downloads (Pure)

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L., 1 Jul 2014, In : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132.

Research output: Contribution to journalArticle

Open Access
File
22 Downloads (Pure)

Coverage criteria for behavioural testing of software product lines

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 Nov 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol. 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8802).

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

Open Access
File
216 Downloads (Pure)

State Machine Flattening: Mapping Study and Assessment

Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 Mar 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

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

Open Access
File
93 Downloads (Pure)

Towards a systematic approach for cognitively efficient configuration visualizations

Sauvage-Thomase, C., Biri, N., Perrouin, G. & Heymans, P., 9 Dec 2014. 12 p.

Research output: Contribution to conferencePaper

File
161 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10

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

Open Access
File
249 Downloads (Pure)

VIBeS: Variability Intensive system Behavioural teSting

Devroey, X. & Perrouin, G., Oct 2014

Research output: Non-textual formSoftware

2013

Assessing software product line testing via model-based mutation: An application to similarity testing

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

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

Model-based verification of energy-aware real-time automotive systems

Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 Oct 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

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

Multi-objective test generation for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 18 Sep 2013, Proceedings of the 17th International Software Product Line Conference (SPLC). ACM Press, p. 62-71 10 p.

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

PLEDGE: a product line editor and test generation tool

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 23 Dec 2013, 17th International Software Product Line Conference (co-located workshops). ACM Press, p. 126-129 4 p.

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

Towards automated testing and fixing of re-engineered Feature Models

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 30 Oct 2013, Proceedings - International Conference on Software Engineering. IEEE, Vol. 2. p. 1245-1248 4 p. 6606689

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