Filter
Conference contribution

Search results

  • 2024

    Towards Feature-based ML-enabled Behaviour Location

    Fortz, S., Temple, P., Devroey, X. & Perrouin, G., 7 Feb 2024, VaMoS 2024, Proceedings - 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Bern, Switzerland: ACM Press, p. 152-154 3 p. (Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems).

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

    Open Access
    File
    11 Downloads (Pure)
  • 2023

    Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 Jan 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 85-87 3 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    42 Downloads (Pure)
  • Explicit or Implicit? On Feature Engineering for ML-based Variability-intensive Systems

    Temple, P. & Perrouin, G., 25 Jan 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 91-93 3 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    12 Downloads (Pure)
  • FairBayRank: A Fair Personalized Bayesian Ranker

    Noulapeu Ngaffo, A., Albert, J., Frénay, B. & Perrouin, G., 2023, 31st European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning Bruges, Belgium October 04 - 06.

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

    Open Access
    File
    15 Downloads (Pure)
  • MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

    CUARTAS GRANADA, J., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P-Y., 16 Apr 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers Inc., p. 52-61 10 p. (2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)).

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

    Open Access
    File
    103 Downloads (Pure)
  • 2022

    Behavioral Maps: Identifying Architectural Smells in Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Fortz, S., Schobbens, P-Y. & Perrouin, G., 19 Aug 2022, Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops, Revised Selected Papers: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers. Scandurra, P., Galster, M., Mirandola, R., Weyns, D. & Weyns, D. (eds.). Lecture Notes in Computer Science ed. Springer Nature Switzerland AG, Vol. 13365. p. 159-180 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13365 LNCS).

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

    Open Access
    File
    53 Downloads (Pure)
  • Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Schobbens, P-Y. & Perrouin, G., Mar 2022, 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022: IEEE 19th International Conference on Software Architecture . HONOLULU - HAWAII (USA): IEEE, p. 104-107 4 p. (2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022).

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

    Open Access
    File
    90 Downloads (Pure)
  • IntJect: Vulnerability Intent Bug Seeding

    PETIT, B., Khanfir, A., Soremekun, E., Perrouin, G. & Papadakis, M., 2022, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022. p. 19-30 12 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS; vol. 2022-December).

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

    Open Access
    File
    81 Downloads (Pure)
  • 2021

    A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps

    Lima dos Santos, E., Fortz, S., PERROUIN, GILLES. & Schobbens, P-Y., 13 Sept 2021, ECSA2021 Companion Volume: 4th Context-aware, Autonomous and Smart Architectures International Workshop (CASA). Heinrich, R., Mirandola, R. & Weyns, D. (eds.). Växjö, Sweden: CEUR Workshop Proceedings, p. 1 6 p.

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

    Open Access
    File
    168 Downloads (Pure)
  • BURST: A Benchmarking Platform for Uniform Random Sampling Techniques

    Acher, M., PERROUIN, GILLES. & Cordy, M., 2021, Proceedings of the 25th International Systems And Software Product Line Conference.

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

    Open Access
    File
    173 Downloads (Pure)
  • Summary of Search-based Crash Reproduction using Behavioral Model Seeding

    Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & Deursen, A. V., Apr 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021. Institute of Electrical and Electronics Engineers Inc., p. 281 1 p. 9438572. (2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)).

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

    Open Access
    File
    15 Downloads (Pure)
  • VaryMinions: Leveraging RNNs to Identify Variants in Event Logs

    Fortz, S., Temple, P., DEVROEY, X., HEYMANS, P. & PERROUIN, GILLES., 2021, 5th International Workshop on Machine Learning Techniques for Software Quality Evolution. ACM Press

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

    Open Access
    File
    155 Downloads (Pure)
  • 2020

    An SMT-Based Concolic Testing Tool for Logic Programs

    Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).

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

    Open Access
    File
    34 Downloads (Pure)
  • Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

    Delobelle, P., Temple, P., Perrouin, G., Frénay, B., 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
    64 Downloads (Pure)
  • 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).

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

    Open Access
    File
    49 Downloads (Pure)
  • STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Lima dos Santos, E., Perrouin, G. & Schobbens, P. Y., 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. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

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

    Open Access
    File
    53 Downloads (Pure)
  • 2019

    AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. 8728920. (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
    54 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

  • Towards quality assurance of software product lines with adversarial configurations

    Temple, P., Acher, M., Perrouin, G., Biggio, B., Jézéquel, J. M. & Roli, F., 9 Sept 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

    Open Access
    File
    99 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
  • 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 May 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)).

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

    Open Access
    File
    51 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
    51 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. (ACM International Conference Proceeding Series).

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

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

    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. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).

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

    Open Access
    File
    93 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
    148 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
    154 Downloads (Pure)
  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

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

    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
    93 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

    Open Access
    File
    12 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
    219 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
    80 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 Sept 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
    71 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
    358 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
    252 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
    117 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
    380 Downloads (Pure)
  • 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 Sept 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 Sept 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

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

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

    Open Access
    File
    161 Downloads (Pure)
  • Deriving Configuration Interfaces from Feature Models : A Vision Paper

    Boucher, Q., Perrouin, G. & Heymans, P., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27,. p. 37-44

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

    File
    194 Downloads (Pure)
  • On Extracting Feature Models From Product Descriptions

    Acher, M., Cleve, A., Perrouin, G., Heymans, P., Collet, P., Lahire, P. & Vanbeneden, C., 2012, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2012). Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 45-54 10 p.

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

  • Simulation-Based Abstractions for Software Product-Line Model Checking

    Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol. 672-682.

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

    File
    49 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.