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

Research Output 2002 2019

Filter
Conference contribution
2019
8 Downloads (Pure)

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
Testing
Black-box testing
Application programming interfaces (API)

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 qality assurance of software product lines with adversarial configurations

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

Learning systems
Quality assurance
Classifiers
Engineers
Testing

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
Sampling
Testing
Cost effectiveness
Experiments
Linux
2017
13 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
Automata theory
Finite automata
15 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
Testing

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.

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

Productivity
Costs
Industry

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

Testing
Costs
40 Downloads (Pure)

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
Software engineering
Engines
Testing
106 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
Application programs
Teaching
Students
Sampling
Linux
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

Architectural design
Insurance
Human computer interaction
Railroad cars
105 Downloads (Pure)

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
Testing

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

Modeling languages
Product development
Software engineering
Automation
Productivity

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

38 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
Testing
Evolutionary algorithms

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

Diagram
Visual languages
Communication
Life cycle
Software engineering
2015
175 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
Testing
Momentum

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

49 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
Testing
DSL
Momentum
Chemical activation

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

Explosions
Testing
2014
51 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
Testing
Scalability
Engineers
299 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
Defects
Model checking
Testing
204 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
Software Product Lines
Transition Systems
Coverage
Testing
Websites
91 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
Scalability
Large scale systems
Availability
Testing
205 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
Testing
Markov processes
Explosions
Sampling
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 Sep 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

Testing
Engineers

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

Model checking
Real time systems
Brakes
Embedded systems
Semantics

Multi-objective test generation for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Le Traon, Y., 18 Sep 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

Testing
Genetic algorithms
Costs
Experiments

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

Testing

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

Testing
Engineers
Linux
2012
111 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
Quality assurance
Model checking
Vending machines
Testing
152 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

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

29 Downloads (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.

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

File
226 Downloads (Pure)

Towards Configurable ISO 29110-compliant Software Development Processes for Very Small Entities

Boucher, Q., Perrouin, G., Deprez, J-C. & Heymans, P., 2012, Proceedings of the 19th European System, Software & Service Process Improvement & Innovation Conference (EuroSPI'12), Vienna, Austria. Springer, p. 169-180 12 p.

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

File
Software engineering
Switches
Requirements engineering

Towards Flexible Evolution of Dynamically Adaptive Systems

Perrouin, G., Morin, B., Chauvel, F., Fleurey, F., Klein, J., Le Traon, Y., Barais, O. & Jézéquel, J-M., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), NIER Track, Zurich, Switzerland, June 2-9. IEEE, p. 1353--1356 4 p.

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

Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

Kang, E-Y., Perrouin, G. & Schobbens, P-Y., 1 Jan 2012, Proceedings - International Conference on Quality Software. p. 124-127 4 p.

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

Telecommunication systems
Interchanges
Real time systems
Energy utilization
Modeling languages
80 Downloads (Pure)

Towards More Reliable Configurators: A Re-engineering Perspective

Boucher, Q., Abbasi, E. K., Hubaux, A., Perrouin, G., Acher, M. & Heymans, P., 2012, (Unpublished) Proceedings of the 3rd Product LinE Approaches in Software Engineering (PLEASE'12), co-located with ICSE'12, Zurich, Switzeland. p. 29-32

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

File
Engineers
Graphical user interfaces
Engines
Industry
2011

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

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

Computer software reusability
Momentum

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

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

2010

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.

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

Explosions
Concretes
Testing
2009

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.

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

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.

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

Automation
Management science
Middleware
Air conditioning
Computer science

Weaving variability into domain metamodels

Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G. & Jézéquel, J. M., 2009, Model Driven Engineering Languages and Systems. Denver: Springer, p. 690-705 16 p.

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

Modeling languages
2008

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.

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

Servers

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.

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

Byproducts
Automation
Engineers
2007

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.

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

Requirements engineering
2006

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.

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

Core analysis
Specifications
2004

Using model transformation and architectural frameworks to support the software development process: The FIDJI approach

Guelfi, N. & Perrouin, G., 2004, Midwest Software Engineering Conference (MSEC'04). p. 13-22 10 p.

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

Software engineering
Maintainability
Concretes
Costs
2003

Supporting model-to-model transformations: The vmt approach

Sendall, S., Perrouin, G., Guelfi, N. & Biberstein, O., 2003, Model Driven Architecture Foundations and Applications. Vol. CTIT Technical Report TR-CTIT-03-27. p. 61-72 12 p.

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

modeling
code
software development