Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

Filter
Conference contribution
2019

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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

Teaching
Students

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
2018
76 Downloads (Pure)

Evoq: a Visualization Tool to Support Structural Analysis of Text Documents

Clarinval, A., Linden, I., Wallemacq, A. & Dumas, B., 2018, Proceedings of the 2018 ACM Symposium on Document Engineering. ACM Press, 10 p.

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

Open Access
File
Structural analysis
Visualization
Social sciences

On Studying Bad Practices in Configuration UIs

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

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

Human computer interaction
Defects
Railroad cars
Industry

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

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

Repair
Industry
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
14 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

Public Debates on the Web

Gilson, F., Bittar, A. & Schobbens, P., Jun 2017, Web Engineering - 17th International Conference, ICWE 2017, Proceedings. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol. 10360. p. 520-532 13 p. 37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10360 LNCS).

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

Launching
Visualization
Processing
Social Media
Communication Channels
16 Downloads (Pure)

Survey of software visualization systems to teach message-passing concurrency in secondary school

Libert, C. & Vanhoof, W., Jun 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; vol. 722).

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

Open Access
File
Software Visualization
Message passing
Message Passing
Concurrency
Visualization

Technical Aspect Extraction from Customer Reviews based on Seeded Word Clustering

Davril, J-M., Leclercq, T., Cordy, M. & Heymans, P., 2017, Natural Language Processing and Information Systems - 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Proceedings. Frasincar, F., Ittoo, A., Metais, E. & Nguyen, L. M. (eds.). p. 97-109 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10260 LNCS).

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

Customers
Clustering
Attribute
Specification
Specifications

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
37 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
104 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

Average consensus in asymmetric broadcasting wireless sensor networks through gossiping

Peper, F., Leibnitz, K., Shimokawa, T. & Remiche, M. A., 28 Nov 2016, Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2016. ACM Press, Vol. 28-November-2016. p. 171-176 6 p.

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

Broadcasting
Wireless sensor networks

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators

Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P., 2016, (Accepted/In press) Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS).

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

99 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

Reusable self-adaptation through bidirectional programming

Colson, K., Dupuis, R., Montrieux, L., Hu, Z., Uchitel, S. & Schobbens, P. Y., 14 May 2016, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. ACM Press, p. 4-15 12 p. 2897055

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

Self-adaptation
Programming
Configuration
Servers
Web Server
34 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

Un outil d'aide à la conception des formes normales en logique propositionnelle

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

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

2015

All-At-Once-Synthesis of controllers from scenario-based product line specifications

Cordy, M., Davril, J-M., Greenyer, J., Gressi, E. & Heymans, P., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol. 20-24-July-2015. p. 26-35 10 p.

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

Specifications
Controllers
171 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

From Mobile Data Towards Better Customer Knowledge: Proposals for an Information Framework

Colot, C. & Linden, I., 2015, The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015). Shakshuki, E. (ed.). Elsevier, Vol. 52. p. 75-82 8 p. (Procedia Computer Science; vol. 52).

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

Marketing
Mobile devices
Data structures
Internet

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications

Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 2015, Software Engineering & Management. p. 91-92

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

48 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

State machine flattening, a mapping study and tools assessment

Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 May 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

Scalability
Large scale systems
Availability
Testing

Using fuzzy modeling for consistent definitions of product qualities in requirements.

Davril, J-M., Cordy, M., Heymans, P. & Acher, M., 2015, Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

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

Specifications
Recommender systems
Ergonomics
Cameras
Industry
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
98 Downloads (Pure)

An extensible platform for product-line behavioural analysis

Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.

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

Open Access
File
Model checking
Quality assurance
Engineers
Modeling languages

A Reflection of the EWG-DSS's Life through the Application of SNA Techniques to its Publications

Linden, I. & Motte, M., 2014, Proceedings of the Joint International Conference of the INFORMS GDN Section and the EURO Working Group on DSS. Zaraté, P., Camilleri, G., Kamissoko, D. & Amblard, F. (eds.). Toulouse University, p. 158-167 10 p.

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

263 Downloads (Pure)

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).

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

File
Ontology
Logic
Description Logics
Open Source Software
Semantic Web
294 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

Counterexample Guided Abstraction Refinement of product-line behavioural models

Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol. 16-21-November-2014. p. 190-201 12 p.

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

Explosions
Model checking
Experiments
203 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
50 Downloads (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.

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

File
69 Downloads (Pure)

Schedulability analysis support for automotive systems: From requirement to implementation

Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

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

Open Access
File
Scheduling
Interchanges
Model checking
Brakes
Costs
90 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
203 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P., Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. 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

File
Sampling
Testing
Markov processes
Explosions
2 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 . ACM Press, 7 p.

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

Open Access
File
Testing
Markov processes
Explosions
Sampling
217 Downloads (Pure)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

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

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

Open Access
File
Testing
Surface mount technology
Semantics
2013

A Generic Workflow Metamodel to Support Resource-aware Decision Making

Ramdoyal, R., Ponsard, C., Derbali, M-A., Schwanen, G., Linden, I. & Jacquet, J-M., 21 Nov 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol. 3. p. 243-250 8 p.

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

Decision making
Global optimization
Recovery
160 Downloads (Pure)

A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 Sep 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

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

Open Access
File
Testing
Flow graphs

Efficient quality assurance of variability-intensive systems

Heymans, P., Legay, A. & Cordy, M., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

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

Quality assurance
Software engineering
Formal methods
Model checking
Costs

Incrementally synthesizing controllers from scenario-based product line specifications

Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 Sep 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 11 p.

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

Specifications
Controllers
Product design
86 Downloads (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 Nov 2013, Mobile and Information Technologies in Medicine and Health 2013 .

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

File
Information Systems
Orthopedics
Infection
Prosthesis Failure
Knee Prosthesis

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

On Density in Coordination Languages

Jacquet, J. M., Linden, I. & Darquennes, D., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer Verlag, Vol. 393 CCIS. p. 189-203 15 p. (Communications in Computer and Information Science; vol. 393 CCIS).

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

Deposits

On the Introduction of Time in Distributed Blackboard Rules

Jacquet, J-M., Linden, I. & Staicu, M-O., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer, Vol. 393. p. 144-158 15 p. (Communications in Computer and Information Science; vol. 393).

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

Semantic code clones in logic programs

Dandois, C. & Vanhoof, W., 14 Nov 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7844 LNCS).

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

Logic Programs
Clone
Semantics
Syntactics
Refactoring
2012
109 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