Photo de Xavier DEVROEY
  • Source : Scopus
  • Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
20102021

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.
Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2020

    An Application of Model Seeding to Search-Based Unit Test Generation for Gson

    Olsthoorn, M., Derakhshanfar, P. & Devroey, X., 2020, Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Proceedings. Aleti, A. & Panichella, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 239-245 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12420 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Botsing, a Search-based Crash Reproduction Framework for Java

    Derakhshanfar, P., Devroey, X., Panichella, A., Zaidman, A. & Van Deursen, A., sept. 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. ACM Press, p. 1278-1282 5 p. 9286108. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • Commonality-Driven Unit Test Generation

    Evers, B., Derakhshanfar, P., Devroey, X. & Zaidman, A., 2020, Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Proceedings. Aleti, A. & Panichella, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 121-136 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12420 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Crash reproduction using helper objectives

    Derakhshanfar, P., Devroey, X., Zaidman, A., Van Deursen, A. & Panichella, A., 8 juil. 2020, GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion. ACM Press, p. 309-310 2 p. (GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

    Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., Baudry, B. & Halin, A., 19 oct. 2020, Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assuncao, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). ACM Press, p. 302 1 p. (ACM International Conference Proceeding Series; Vol Part F164267-A).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    1 Téléchargements (Pure)
  • Good Things Come in Threes: Improving Search-based Crash Reproduction with Helper Objectives

    Derakhshanfar, P., Devroey, X., Zaidman, A., Van Deursen, A. & Panichella, A., sept. 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. ACM Press, p. 211-223 13 p. 9285999. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • It Is Not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction

    Derakhshanfar, P., Devroey, X. & Zaidman, A., 2020, Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Proceedings. Aleti, A. & Panichella, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 42-57 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12420 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Java Unit Testing Tool Competition - Eighth Round

    Devroey, X., Panichella, S. & Gambi, A., 27 juin 2020, Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. ACM Press, p. 545-548 4 p. (Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    28 Téléchargements (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 juil. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Java Unit Testing Tool Competition - Seventh Round

    Kifetew, F., Devroey, X. & Rueda, U., 1 mai 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards Automated Test Case Generation Maturity

    Rueda, U., Kifetew, F. & Devroey, X., 1 mai 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

    Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 avr. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • Welcome from the chairs

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    1 Téléchargements (Pure)
  • 2018

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

    Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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., 15 mai 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    17 Téléchargements (Pure)
  • On Featured Transition Systems

    Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    26 Téléchargements (Pure)
  • Testing Variability-Intensive Systems

    Perrouin, G., Devroey, X. & Cordy, M., 26 sept. 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. (Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - SPLC '17).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards Security-aware Mutation Testing

    Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P., 13 mars 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    49 Téléchargements (Pure)
  • Yo Variability! JHipster: A Playground for Web-Apps Analyses

    Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P., 1 févr. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    117 Téléchargements (Pure)
  • 2016

    Featured Model-based Mutation Analysis

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    116 Téléchargements (Pure)
  • Search-based Similarity-driven Behavioural SPL Testing

    Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    46 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    183 Téléchargements (Pure)
  • Poster: VIBeS, Transition System Mutation Made Easy

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    55 Téléchargements (Pure)
  • State machine flattening, a mapping study and tools assessment

    Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 mai 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 2014

    Abstract test case generation for behavioural testing of software product lines

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    52 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    328 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    213 Téléchargements (Pure)
  • State Machine Flattening: Mapping Study and Assessment

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    94 Téléchargements (Pure)
  • Towards Statistical Prioritization for Software Product Lines Testing

    Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 janv. 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    307 Téléchargements (Pure)
  • 2012

    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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    124 Téléchargements (Pure)
  • 2011

    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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    89 Téléchargements (Pure)
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.