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

Research Output

Article

A benchmark-based evaluation of search-based crash reproduction

Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 1 Jan 2020, In : Empirical Software Engineering . 25, 1, p. 96-138 43 p.

Research output: Contribution to journalArticle

Open Access

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)

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
34 Downloads (Pure)
Open Access
File
2 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)
Open Access
File
103 Downloads (Pure)

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
1 Downloads (Pure)
Chapter (peer-reviewed)

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)

Behavioural Model Based Testing of Software Product Lines: Research Abstract

Devroey, X., 16 Sep 2014, Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

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

Open Access
File
65 Downloads (Pure)
Conference 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)

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)

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

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

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

Open Access
File
113 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
208 Downloads (Pure)

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

Effective and efficient API misuse detection via exception propagation and search-based testing

Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 10 Jul 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York, New York, USA: ACM Press, p. 192-203 12 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

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

Generating High-Level Event-B System Models from KAOS Requirements Models

Ponsard, C. & Devroey, X., 2011, INFORSID: Actes du XXIXème Congrès INFORSID. p. 317-332 16 p.

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

File
84 Downloads (Pure)

Java Unit Testing Tool Competition - Seventh Round

Kifetew, F., Devroey, X. & Rueda, U., 1 May 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-20 6 p. 8812209. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019).

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

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

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

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

Single-objective versus multi-objectivized optimization for evolutionary crash reproduction

Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., 1 Jan 2018, Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Proceedings. Springer Verlag, p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11036 LNCS).

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

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

State machine flattening, a mapping study and tools assessment

Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 May 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

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 Automated Test Case Generation Maturity

Rueda, U., Kifetew, F. & Devroey, X., 1 May 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 9-10 2 p. 8812190. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019).

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

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

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
110 Downloads (Pure)
Foreword/postscript

Welcome from the chairs

Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 26 Aug 2019, EASEAI 2019: Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence. ACM Press, p. III

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

File

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
Master's Thesis
Open Access
File
114 Downloads (Pure)
Other contribution
File
20 Downloads (Pure)
Paper

Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Arcaini, P., Devroey, X. & Wang, S., 13 Apr 2017, p. 317-318. 2 p.

Research output: Contribution to conferencePaper

Poster

Behavioural Model-Driven Validation of Software Product Lines

Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B., 24 Apr 2012.

Research output: Contribution to conferencePoster

Open Access
File
22 Downloads (Pure)

Poster: Behavioral Model-Based Testing of Variability Intensive Systems

Devroey, X., 26 Jun 2015.

Research output: Contribution to conferencePoster

Open Access
File
48 Downloads (Pure)
Software

VIBeS: Variability Intensive system Behavioural teSting

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

Research output: Non-textual formSoftware

YAMI: Yet Another Model Inference tool

Devroey, X., Oct 2014

Research output: Non-textual formSoftware