Publications

Testing Variability-Intensive Systems - Perrouin, G., Devroey, X. & Cordy, M. 26 Sep 2017 ACM International Conference Proceeding Series. ACM Press, 1 p. (SPLC '17)

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

Public Debates on the Web - Gilson, F., Bittar, A. & Schobbens, P. Jun 2017 International Conference on Web Engineering. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol. 10360, p. 520 532 p. 37. (Lecture Notes in Computer Science; vol. 10360)

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

Survey of software visualization systems to teach message-passing concurrency in secondary school - Libert, C. & Vanhoof, W. Jun 2017 Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems. Springer, p. 386 - 397 (Communications in Computer and Information Science)

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

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 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '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 Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on : Mutation 2017. IEEE, 6 p. (ICSTW '17)

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

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 of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems. Eindhoven, Netherlands: ACM Press, p. 44-51 8 p. (VaMoS '17)

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: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (LNCS)

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

Technical Aspect Extraction from Customer Reviews based on Seeded Word Clustering - Davril, J-M., Leclercq, T., Cordy, M. & Heymans, P. 2017 22nd International Conference on Natural Language & Information Systems.

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

La programmation par passage de messages pour aider à développer la pensée informatique - Libert, C. & Vanhoof, W. 2017 L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

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

Multi-timed Bisimulation for Distributed Timed Automata - Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

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

Average consensus in asymmetric broadcasting wireless sensor networks through gossiping - Peper, F., Leibnitz, K., Shimokawa, T. & Remiche, M. A. 28 Nov 2016 Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2016. Association for Computing Machinery, Vol. 28-November-2016, p. 171-176 6 p.

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

A Survey on Mobile Data Uses - Colot, C., Linden, I. & Baecke, P. 22 Jun 2016 In : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3

Research output: Contribution to journalArticle

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

How a BI-wise responsible integrated management system may support food traceability - Gianni, M., Gotzamani, K. & Linden, I. 1 Apr 2016 In : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1

Research output: Contribution to journalArticle

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

Blackboard Rules: From a Declarative Reading to its Application for Coordinating Context-aware Applications in Mobile Ad Hoc Networks - Jacquet, J-M., Linden, I. & Staicu, M-O. Jan 2016 In : Science of Computer Programming. 115, p. 79-99

Research output: Contribution to journalArticle

On the Introduction of Density in Tuple-Space Coordination Languages - Darquennes, D., Jacquet, J-M. & Linden, I. Jan 2016 In : Science of Computer Programming. 115, p. 149-176

Research output: Contribution to journalArticle

Aborder la programmation avec la concurrence message-passing - Libert, C. & Vanhoof, W. Jan 2016

Research output: Contribution to conferencePaper

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

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators - Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P. 2016 (Accepted/In press) Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS).

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

Un outil d'aide à la conception des formes normales en logique propositionnelle - Désiron, K., Remiche, M-A. & Vanhoof, W. 2016 Actes de la conférence Didapro 6 - DidaSTIC Didactique de l'informatique et des STIC: Quelles éducations au numérique, en classe et pour la vie ? . 2 p.

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

Towards a framework for algorithm recognition in binary code - Mesnard, F., Payet, E. & Vanhoof, W. 2016 p. 202 2013 p.

Research output: Contribution to conferencePaper

Beyond de-facto standards for designing human-computer interactions in configurators - Leclercq, T., Davril, J. M., Cordy, M. & Heymans, P. 2016 CEUR Workshop Proceedings. Vol. 1705, p. 40-43 4 p.

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

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

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. 24 Jul 2015 In : Software and Systems Modeling. p. 1-19 19 p.

Research output: Contribution to journalArticle

All-At-Once-Synthesis of controllers from scenario-based product line specifications - Cordy, M., Davril, J-M., Greenyer, J., Gressi, E. & Heymans, P. 20 Jul 2015 Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Vol. 20-24-July-2015, p. 26-35 10 p.

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

Relational symbolic execution of SQL code for unit testing of database programs - Marcozzi, M., Vanhoof, W. & Hainaut, J. L. 1 Jul 2015 In : Science of Computer Programming. 105, p. 44-72 29 p.

Research output: Contribution to journalArticle

Poster: Behavioral Model-Based Testing of Variability Intensive Systems - Devroey, X. 26 Jun 2015

Research output: Contribution to conferencePoster

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

On Distributed Density in Tuple-based Coordination Languages - Darquennes, D., Jacquet, J-M. & Linden, I. 12 Feb 2015 In : EPTCS. 175, p. 26-53

Research output: Contribution to journalArticle

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: Association for Computing Machinery, Vol. 21-23-January-2015, p. 59:59-59:66 8 p. (VaMoS '15)

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

Decision Support Systems V: Big Data Analytics for Decision Making: First International Conference, ICDSST 2015, Belgrade, Serbia, May 27-29, 2015, Proceedings - Delibasic, B. (ed.), Hernández, J. E. (ed.), Papathanasiou, J. (ed.), Dargam, F. (ed.), Zaraté, P. (ed.), Ribeiro, R. (ed.), Liu, S. (ed.) & Linden, I. (ed.) 2015 Springer. 111 p. (Lecture Notes in Business Information Processing; vol. 216)

Research output: Book/Report/JournalBook

Towards a BI Platform to Support Food Traceability Management: Benefits and Challenges Identification - Gianni, M., Gotzamani, K. & Linden, I. 2015 p. 26 1 p.

Research output: Contribution to conferenceAbstract

Mobile Data Uses : Current Investigations and Future Research Avenues - Linden, I. & Colot, C. 2015 p. 18 1 p.

Research output: Contribution to conferenceAbstract

From Mobile Data Towards Better Customer Knowledge: Proposals for an Information Framework - Colot, C. & Linden, I. 2015 The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015). Shakshuki, E. (ed.). Elsevier, Vol. 52, p. 75-82 8 p. (Procedia Computer Science; vol. 52)

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

Using fuzzy modeling for consistent definitions of product qualities in requirements. - Davril, J-M., Cordy, M., Heymans, P. & Acher, M. 2015 Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

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

Decision Support Systems IV - Information and Knowledge Management in Decision Processes: Euro Working Group Conferences, EWG-DSS 2014 Toulouse, France, June 10-13, 2014 and Barcelona, Spain, July 13-18, 2014 Revised Selected and Extended Papers - Linden, I. (ed.), Liu, S. (ed.), Dargam, F. (ed.) & Hernández, J. E. (ed.) 2015 Springer Verlag. 101 p. (Lecture Notes in Business Information Processing; vol. 221)

Research output: Book/Report/JournalBook

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

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

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

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)

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: Association for Computing Machinery, Vol. 2, p. 86-93 8 p. (SPLC '14)

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

An extensible platform for product-line behavioural analysis - Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y. 15 Sep 2014 ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. Association for Computing Machinery, Vol. 2, p. 102-109 8 p.

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

Relational Test Generation Tool for SQL Applications - Marcozzi, M. 31 Jul 2014

Research output: Non-textual formSoftware

Proposals for the integration of interactive dashboards in business process monitoring to support resources allocation decisions - Linden, I. 3 Jul 2014 In : Journal of Decision Systems. 23, 3, p. 318-332 15 p.

Research output: Contribution to journalArticle

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution - Marcozzi, M., Vanhoof, W. & Hainaut, J-L. 31 May 2014 Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

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

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata - Ortiz Vega, J. J. & Schobbens, P-Y. 4 Apr 2014 Open problems in real-time computing. 2 p.

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