Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • Article dans les actes d'une conférence/un colloque

    AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., avr. 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).

    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
    51 Téléchargements (Pure)
  • 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
    65 Téléchargements (Pure)
  • 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

    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

  • A flexible requirements analysis approach for software product lines

    Guelfi, N. & Perrouin, G., 2007, Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality. Springer, Vol 4542. p. 78-92 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

  • A Metamodel-based Classification of Variability Modeling Approaches

    Paul, I., Jacques, K., Perrouin, G. & Jean-Marc, J., 2011, VARiability for You (VARY) Workshop, co-located with MoDELS 2011. Haugen, O., Czarnecki, K., Jézéquel, J. M., Moller-Pedersen, B. & Wasowski, A. (eds.).

    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

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

    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
    29 Téléchargements (Pure)
  • Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 janv. 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).

    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
    41 Téléchargements (Pure)
  • 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

    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

  • 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
    40 Téléchargements (Pure)
  • Automated and scalable t-wise test case generation strategies for software product lines

    Perrouin, G., Sen, S., Klein, J., Baudry, B. & Le Traon, Y., 2010, Third International Conference on Software Testing, Verification and Validation (ICST). Paris: IEEE, p. 459-468 10 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

  • 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
    355 Téléchargements (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.

    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
    158 Téléchargements (Pure)
  • 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.

    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
    151 Téléchargements (Pure)
  • Behavioral Maps: Identifying Architectural Smells in Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Fortz, S., Schobbens, P-Y. & Perrouin, G., 19 août 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).

    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
    41 Téléchargements (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.

    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
    149 Téléchargements (Pure)
  • Coherent Integration of Variability Mechanisms at the Requirements Elicitation and Analysis Levels

    Guelfi, N. & Perrouin, G., 2006, Variability Management – Working with Variability Mechanisms (Workshop of SPLC 06). p. 58-70 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

  • Composing models for detecting inconsistencies: A requirements engineering perspective

    Perrouin, G., Brottier, E., Baudry, B. & Le Traon, Y., 2009, Requirements Engineering: Foundation for Software Quality. Amsterdam: Springer, Vol LNCS 5512. p. 89-103 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

  • 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
    241 Téléchargements (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).

    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
    216 Téléchargements (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

    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
    185 Téléchargements (Pure)
  • Dynamic software product lines for service-based systems

    Istoan, P., Nain, G., Perrouin, G. & Jézéquel, J. M., 2009, Ninth IEEE International Conference on Computer and Information Technology, CIT'09. . IEEE, Vol 2. p. 193-198 6 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

  • Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

    Delobelle, P., Temple, P., Perrouin, G., Frénay, B., Heymans, P. & Berendt, B., 14 mai 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 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
    53 Téléchargements (Pure)
  • Explicit or Implicit? On Feature Engineering for ML-based Variability-intensive Systems

    Temple, P. & Perrouin, G., 25 janv. 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).

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

    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
    35 Téléchargements (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.

    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
    9 Téléchargements (Pure)
  • 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
    147 Téléchargements (Pure)
  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

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

    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

  • Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Schobbens, P-Y. & Perrouin, G., mars 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).

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

    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
    69 Téléchargements (Pure)
  • Message from the A-MOST 2016 Chairs

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

    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

  • Message from the chairs - A MOST 2015

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

    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

  • 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

    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

  • Modeling the variability space of self-adaptive applications

    Perrouin, G., Chauvel, F., DeAntoni, J. & Jézéquel, J. M., 2008, 12th Software Product Line Conference. Vol 2. p. 15-22 8 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

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

    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

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

    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
    81 Téléchargements (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.

    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

  • 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
    46 Téléchargements (Pure)
  • On quantitative requirements for product lines

    Legay, A. & Perrouin, G., 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: ACM Press, p. 2-4 3 p. (ACM International Conference Proceeding Series).

    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

  • PLEDGE: a product line editor and test generation tool

    Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 23 déc. 2013, 17th International Software Product Line Conference (co-located workshops). ACM Press, p. 126-129 4 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

  • 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
    74 Téléchargements (Pure)
  • Preface to the thirteenth workshop on variability modelling of software-intensive systems

    Perrouin, G. & Weyns, D., 6 févr. 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

    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

  • Proceedings of the 1st International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST)

    Perrouin, G. (Ed.), Metzger, A. (Ed.), Heymans, P. (Ed.) & Le Traon, Y. (Ed.), 2011, Software Testing, Verification, and Validation Workshops (ICSTW).

    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

  • Reconciling automation and flexibility in product derivation

    Perrouin, G., Klein, J., Guelfi, N. & Jézéquel, J. M., 2008, Software Product Line Conference, 2008. SPLC'08. 12th International. IEEE, p. 339-348 10 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

  • Rigorous engineering of software architectures: Integrating ADLs, UML and development methodologies

    Guelfi, N. & Perrouin, G., 2002, Software Engineering and Applications. ACTA Press

    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

  • 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
    88 Téléchargements (Pure)
  • 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.

    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
    44 Téléchargements (Pure)
  • SPLat 2015 Second international workshop on software product line analysis tools

    Perrouin, G. & Legay, A., 20 juil. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol 20-24-July-2015. p. 395-395 1 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

  • STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Lima dos Santos, E., Perrouin, G. & Schobbens, P. Y., 5 févr. 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).

    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
    44 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
    114 Téléchargements (Pure)
  • Summary of Search-based Crash Reproduction using Behavioral Model Seeding

    Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & Deursen, A. V., avr. 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)).

    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
    10 Téléchargements (Pure)
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.