Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
M. Acher, R. E. Lopez-Herrejon, R. Rabiser.
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges, in: ACM Transactions of Computing Education, May 2017.
https://hal.inria.fr/hal-01522779
[2]
B. Baudry, M. Monperrus.
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond, in: ACM Computing Surveys, 2015, vol. 48, no 1, pp. 16:1–16:26.
https://hal.inria.fr/hal-01182103
[3]
A. Blouin, V. Lelli, B. Baudry, F. Coulon.
User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners, in: Information and Software Technology, May 2018, vol. 102, pp. 49-64. [ DOI : 10.1016/j.infsof.2018.05.005 ]
https://hal.inria.fr/hal-01499106
[4]
M. Boussaa, O. Barais, G. Sunyé, B. Baudry.
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families, in: Software Testing, Verification and Reliability, December 2019. [ DOI : 10.1002/stvr.1721 ]
https://hal.inria.fr/hal-02422437
[5]
E. Bousse, D. Leroy, B. Combemale, M. Wimmer, B. Baudry.
Omniscient Debugging for Executable DSLs, in: Journal of Systems and Software, March 2018, vol. 137, pp. 261-288. [ DOI : 10.1016/j.jss.2017.11.025 ]
https://hal.inria.fr/hal-01662336
[6]
G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study, in: Empirical Software Engineering, 2015, vol. 21, no 4, pp. 1794–1841. [ DOI : 10.1007/s10664-014-9357-1 ]
https://hal.inria.fr/hal-01096969
[7]
B. Combemale, J. Deantoni, B. Baudry, R. B. France, J.-M. Jézéquel, J. Gray.
Globalizing Modeling Languages, in: IEEE Computer, June 2014, pp. 10-13.
https://hal.inria.fr/hal-00994551
[8]
K. Corre, O. Barais, G. Sunyé, V. Frey, J.-M. Crom.
Why can't users choose their identity providers on the web?, in: Proceedings on Privacy Enhancing Technologies, January 2017, vol. 2017, no 3, pp. 72-86. [ DOI : 10.1515/popets-2017-0029 ]
https://hal.archives-ouvertes.fr/hal-01611048
[9]
J.-E. Dartois, J. Boukhobza, A. Knefati, O. Barais.
Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-based Virtualization, in: IEEE transactions on cloud computing, 2019, vol. 14, pp. 1-14. [ DOI : 10.1109/TCC.2019.2898192 ]
https://hal.inria.fr/hal-02013421
[10]
J.-M. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelang-Huang, P. Heymans.
Feature Model Extraction from Large Collections of Informal Product Descriptions, in: Proc. of the Europ. Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE), September 2013, pp. 290-300. [ DOI : 10.1145/2491411.2491455 ]
https://hal.inria.fr/hal-00859475
[11]
T. Degueule, B. Combemale, A. Blouin, O. Barais, J.-M. Jézéquel.
Melange: A Meta-language for Modular and Reusable Development of DSLs, in: Proc. of the Int. Conf. on Software Language Engineering (SLE), October 2015.
https://hal.inria.fr/hal-01197038
[12]
J. A. Galindo Duarte, M. Alférez, M. Acher, B. Baudry, D. Benavides.
A Variability-Based Testing Approach for Synthesizing Video Sequences, in: Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), July 2014.
https://hal.inria.fr/hal-01003148
[13]
I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel, B. Baudry.
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems, in: Journal of Systems and Software, 2016. [ DOI : 10.1016/j.jss.2016.02.027 ]
https://hal.inria.fr/hal-01354999
[14]
A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin, B. Baudry.
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack, in: Empirical Software Engineering, July 2018, pp. 1–44. [ DOI : 10.1007/s10664-018-9635-4 ]
https://hal.inria.fr/hal-01829928
[15]
J.-M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, F. Fouquet.
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, in: Software and Systems Modeling, 2015, vol. 14, no 2, pp. 905-920.
https://hal.inria.fr/hal-00829839
[16]
P. Laperdrix, W. Rudametkin, B. Baudry.
Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints, in: Proc. of the Symp. on Security and Privacy (S&P), May 2016.
https://hal.inria.fr/hal-01285470
[17]
M. Leduc, T. Degueule, E. Van Wyk, B. Combemale.
The Software Language Extension Problem, in: Software and Systems Modeling, 2019, pp. 1-4.
https://hal.inria.fr/hal-02399166
[18]
M. Rodriguez-Cancio, B. Combemale, B. Baudry.
Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding, in: Proc. of the Int. Conf. on Automated Software Engineering (ASE), September 2016.
https://hal.inria.fr/hal-01343818
[19]
P. Temple, M. Acher, J.-M. Jezequel, O. Barais.
Learning-Contextual Variability Models, in: IEEE Software, November 2017, vol. 34, no 6, pp. 64-70. [ DOI : 10.1109/MS.2017.4121211 ]
https://hal.inria.fr/hal-01659137
[20]
P. Temple, M. Acher, J.-M. Jézéquel.
Empirical Assessment of Multimorphic Testing, in: IEEE Transactions on Software Engineering, July 2019, pp. 1-21. [ DOI : 10.1109/TSE.2019.2926971 ]
https://hal.inria.fr/hal-02177158
[21]
O. L. Vera-Pérez, B. Danglot, M. Monperrus, B. Baudry.
A Comprehensive Study of Pseudo-tested Methods, in: Empirical Software Engineering, 2018, pp. 1-33. [ DOI : 10.1007/s10664-018-9653-2 ]
https://hal.inria.fr/hal-01867423
Publications of the year

Doctoral Dissertations and Habilitation Theses

[22]
A. Blouin.
Contribution to the Engineering of User Interfaces, Université de Rennes 1 [UR1], August 2019, Habilitation à diriger des recherches.
https://tel.archives-ouvertes.fr/tel-02354530
[23]
L. Mouline.
Towards a Modelling Framework with Temporal and Uncertain Data for Adaptive Systems, Université Rennes 1 ; Université du Luxembourg, November 2019.
https://hal.inria.fr/tel-02404304

Articles in International Peer-Reviewed Journals

[24]
M. Alférez, M. Acher, J. A. Galindo, B. Baudry, D. Benavides.
Modeling Variability in the Video Domain: Language and Experience Report, in: Software Quality Journal, January 2019, vol. 27, no 1, pp. 307-347. [ DOI : 10.1007/s11219-017-9400-8 ]
https://hal.inria.fr/hal-01688247
[25]
M. Boussaa, O. Barais, G. Sunyé, B. Baudry.
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families, in: Software Testing, Verification and Reliability, December 2019. [ DOI : 10.1002/stvr.1721 ]
https://hal.inria.fr/hal-02422437
[26]
E. Bousse, T. Mayerhofer, B. Combemale, B. Baudry.
Advanced and efficient execution trace management for executable domain-specific modeling languages, in: Software and Systems Modeling, February 2019, pp. 1–37. [ DOI : 10.1007/s10270-017-0598-5 ]
https://hal.inria.fr/hal-01614377
[27]
J.-M. Bruel, B. Combemale, E. M. Guerra, J.-M. Jézéquel, J. Kienzle, J. De Lara, G. Mussbacher, E. Syriani, H. Vangheluwe.
Comparing and Classifying Model Transformation Reuse Approaches across Metamodels, in: Software and Systems Modeling, 2019, pp. 1-22.
https://hal.inria.fr/hal-02317864
[28]
B. Danglot, O. L. Vera-Pérez, B. Baudry, M. Monperrus.
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects, in: Empirical Software Engineering, 2019, pp. 1-35. [ DOI : 10.1007/s10664-019-09692-y ]
https://hal.inria.fr/hal-01923575
[29]
B. Danglot, O. L. Vera-Pérez, Z. Yu, A. Zaidman, M. Monperrus, B. Baudry.
A Snowballing Literature Study on Test Amplification, in: Journal of Systems and Software, August 2019, vol. 157, pp. 1-16. [ DOI : 10.1016/j.jss.2019.110398 ]
https://hal.inria.fr/hal-02290742
[30]
J.-E. Dartois, J. Boukhobza, A. Knefati, O. Barais.
Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-based Virtualization, in: IEEE transactions on cloud computing, 2019, vol. 14, pp. 1-14. [ DOI : 10.1109/TCC.2019.2898192 ]
https://hal.inria.fr/hal-02013421
[31]
G. Kanakis, D. E. Khelladi, S. Fischer, M. Tröls, A. Egyed.
An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing, in: The Journal of Object Technology, 2019, vol. 18, no 2, pp. 10:1-21. [ DOI : 10.5381/jot.2019.18.2.a10 ]
https://hal.inria.fr/hal-02192486
[32]
J. Kienzle, G. Mussbacher, B. Combemale, L. Bastin, N. Bencomo, J.-M. Bruel, C. Becker, S. Betz, R. Chitchyan, B. Cheng, S. Klingert, R. Paige, B. Penzenstadler, N. Seyff, E. Syriani, C. C. Venters.
Towards Model-Driven Sustainability Evaluation, in: Communications of the ACM, 2019, pp. 1-10.
https://hal.inria.fr/hal-02146543
[33]
J. Kienzle, G. Mussbacher, B. Combemale, J. Deantoni.
A Unifying Framework for Homogeneous Model Composition, in: Software and Systems Modeling, January 2019, pp. 1-19. [ DOI : 10.1007/s10270-018-00707-8 ]
https://hal.inria.fr/hal-01949050
[34]
M. Leduc, T. Degueule, E. Van Wyk, B. Combemale.
The Software Language Extension Problem, in: Software and Systems Modeling, 2019, pp. 1-4.
https://hal.inria.fr/hal-02399166
[35]
B. Lelandais, M.-P. Oudot, B. Combemale.
Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges, in: Computer Languages, Systems and Structures, 2019, pp. 1-19.
https://hal.inria.fr/hal-02296030
[36]
A. Pierantonio, M. Van Den Brand, B. Combemale.
The JOT Journal: Towards a Rising Generation, in: Journal of Object Technology (JOT), 2019, vol. 18, no 1, pp. 1-3. [ DOI : 10.5381/jot.2019.18.1.e1 ]
https://hal.inria.fr/hal-02408017
[37]
P. Temple, M. Acher, J.-M. Jézéquel.
Empirical Assessment of Multimorphic Testing, in: IEEE Transactions on Software Engineering, July 2019, pp. 1-21, forthcoming. [ DOI : 10.1109/TSE.2019.2926971 ]
https://hal.inria.fr/hal-02177158
[38]
A. Wortmann, O. Barais, B. Combemale, M. Wimmer.
Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study, in: Software and Systems Modeling, 2019, pp. 1-28. [ DOI : 10.1007/s10270-019-00757-6 ]
https://hal.inria.fr/hal-02282028

Invited Conferences

[39]
B. Combemale.
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges, in: MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Munich, Germany, September 2019, pp. 1-2.
https://hal.inria.fr/hal-02285737

International Conferences with Proceedings

[40]
M. Acher, T. Ziadi, R. E. Lopez-Herrejon, J. Martinez.
Seventh international workshop on reverse variability engineering (REVE 2019), in: SPLC 2019 - 23rd International Systems and Software Product Line Conference, Paris, France, ACM Press, September 2019, 1 p.
https://hal.archives-ouvertes.fr/hal-02268373
[41]
B. Amand, M. Cordy, P. Heymans, M. Acher, P. Temple, J.-M. Jézéquel.
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction, in: VAMOS 2019 - 13th International Workshop on Variability Modelling of Software-Intensive Systems, Leuven, Belgium, ACM, February 2019, pp. 1-9. [ DOI : 10.1145/3302333.3302338 ]
https://hal.inria.fr/hal-01990767
[42]
M. Bagherzadeh, K. Jahed, B. Combemale, J. Dingel.
Live-UMLRT: A Tool for Live Modeling of UML-RT Models, in: MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Munich, Germany, IEEE, September 2019, pp. 743-747. [ DOI : 10.1109/MODELS-C.2019.00115 ]
https://hal.inria.fr/hal-02407932
[43]
J.-E. Dartois, J. Boukhobza, V. Francoise, O. Barais.
Tracking Application Fingerprint in a Trustless Cloud Environment for Sabotage Detection, in: MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Rennes, France, IEEE, October 2019, pp. 74-82. [ DOI : 10.1109/MASCOTS.2019.00018 ]
https://hal.archives-ouvertes.fr/hal-02303153
[44]
J.-E. Dartois, I. Meriau, M. Handaoui, J. Boukhobza, O. Barais.
Leveraging cloud unused resources for Big data application while achieving SLA, in: MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Rennes, France, IEEE, October 2019, pp. 1-2.
https://hal.inria.fr/hal-02362257
[45]
A. Gómez-Boix, D. Frey, Y.-D. Bromberg, B. Baudry.
A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting, in: MTD 2019 - 6th ACM Workshop on Moving Target Defense, London, United Kingdom, November 2019, pp. 1-12. [ DOI : 10.1145/3338468.3356828 ]
https://hal.inria.fr/hal-02282591
[46]
M. Heinz, R. Lämmel, M. Acher.
Discovering Indicators for Classifying Wikipedia Articles in a Domain: A Case Study on Software Languages, in: SEKE 2019 - The 31st International Conference on Software Engineering and Knowledge Engineering, Lisbonne, Portugal, July 2019, pp. 1-6.
https://hal.inria.fr/hal-02129131
[47]
P. Jeanjean, B. Combemale, O. Barais.
From DSL Specification to Interactive Computer Programming Environment, in: SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Athènes, Greece, ACM, October 2019, pp. 167-178. [ DOI : 10.1145/3357766.3359540 ]
https://hal.inria.fr/hal-02307953
[48]
G. Le Guernic.
Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework, in: DSM 2019 - 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, Athens, Greece, ACM Press, October 2019, pp. 50-59. [ DOI : 10.1145/3358501.3361237 ]
https://hal.inria.fr/hal-02398053
[49]
H. Martin, J. A. Pereira, P. Temple, M. Acher.
Machine Learning and Configurable Systems: A Gentle Introduction, in: SPLC 2019 - 23rd International Systems and Software Product Line Conference, Paris, France, ACM, September 2019, pp. 83-88. [ DOI : 10.1145/3336294.3342383 ]
https://hal.inria.fr/hal-02287459
[50]
Y. Ndiaye, O. Barais, A. Blouin, A. Bouabdallah, N. Aillery.
Requirements for preventing logic flaws in the authentication procedure of web applications, in: SAC 2019 - 34th ACM/SIGAPP Symposium On Applied Computing, Limassol, Cyprus, April 2019, pp. 1-9. [ DOI : 10.1145/3297280.3297438 ]
https://hal.inria.fr/hal-02087663
[51]
Q. Plazar, M. Acher, G. Perrouin, X. Devroey, M. Cordy.
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?, in: ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Xian, China, IEEE, April 2019, pp. 240-251. [ DOI : 10.1109/ICST.2019.00032 ]
https://hal.inria.fr/hal-01991857
[52]
M. Rodriguez-Cancio, B. Combemale, B. Baudry.
Approximate Loop Unrolling, in: CF 2019 - ACM International Conference on Computing Frontiers, Alghero, Sardinia, Italy, ACM, 2019, pp. 94-105. [ DOI : 10.1145/3310273.3323841 ]
https://hal.inria.fr/hal-02407868
[53]
P. Temple, M. Acher, G. Perrouin, B. Biggio, J.-M. Jézéquel, F. Roli.
Towards Quality Assurance of Software Product Lines with Adversarial Configurations, in: SPLC 2019 - 23rd International Systems and Software Product Line Conference, Paris, France, ACM, September 2019, pp. 277-288. [ DOI : 10.1145/3336294.3336309 ]
https://hal.inria.fr/hal-02287616

Conferences without Proceedings

[54]
M. Acher.
Learning the Linux Kernel Configuration Space: Results and Challenges, in: ELC Europe 2019 - Embedded Linux Conference Europe 2019, Lyon, France, October 2019, pp. 1-49.
https://hal.inria.fr/hal-02342130
[55]
Best Paper
A. Benelallam, N. Harrand, C. Soto-Valero, B. Baudry, O. Barais.
The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central, in: MSR 2019 - 16th International Conference on Mining Software Repositories, Montreal, Canada, ACM, May 2019, pp. 344-348. [ DOI : 10.1109/MSR.2019.00060 ]
https://hal.archives-ouvertes.fr/hal-02080243
[56]
A. Cheron, J. Bourcier, O. Barais, A. Michel.
Comparison Matrices of Semantic RESTful APIs Technologies, in: ICWE 2019 - 19th International Conference On Web Engineering, Daejeon, South Korea, LNCS, Springer, June 2019, vol. 11496, pp. 425-440. [ DOI : 10.1007/978-3-030-19274-7_30 ]
https://hal.archives-ouvertes.fr/hal-02114296
[57]
J.-E. Dartois, H. B. Ribeiro, J. Boukhobza, O. Barais.
Cuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud Resources, in: CLOUD 2019 - IEEE 12th International Conference on Cloud Computing, Milan, Italy, IEEE, July 2019, pp. 1-8. [ DOI : 10.1109/CLOUD.2019.00070 ]
https://hal.archives-ouvertes.fr/hal-02179453
[58]
A. Rio, Y. Maurel, Y. Bugni, O. Barais.
Benefits of Energy Management Systems on local energy efficiency, an agricultural case study, in: SmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Beijing, China, IEEE, October 2019, pp. 1-7.
https://hal.archives-ouvertes.fr/hal-02315327
[59]
C. Soto-Valero, A. Benelallam, N. Harrand, O. Barais, B. Baudry.
The Emergence of Software Diversity in Maven Central, in: MSR 2019 - 16th International Conference on Mining Software Repositories, Montreal, Canada, ACM, May 2019, pp. 333-343. [ DOI : 10.1109/MSR.2019.00059 ]
https://hal.archives-ouvertes.fr/hal-02080248

Scientific Books (or Scientific Book chapters)

[60]
B. Combemale, M. Wimmer.
Towards a Model-Based DevOps for Cyber-Physical Systems, in: Software Engineering Aspects of Continuous Development, Springer-Verlag, 2019, pp. 1-11.
https://hal.inria.fr/hal-02407886

Internal Reports

[61]
M. Acher, H. Martin, J. Alves Pereira, A. Blouin, D. Eddine Khelladi, J.-M. Jézéquel.
Learning From Thousands of Build Failures of Linux Kernel Configurations, Inria ; IRISA, June 2019, pp. 1-12.
https://hal.inria.fr/hal-02147012
[62]
M. Acher, H. Martin, J. A. Pereira, A. Blouin, J.-M. Jézéquel, D. E. Khelladi, L. Lesoil, O. Barais.
Learning Very Large Configuration Spaces: What Matters for Linux Kernel Sizes, Inria Rennes - Bretagne Atlantique, October 2019.
https://hal.inria.fr/hal-02314830
[63]
J. Alves Pereira, H. Martin, M. Acher, J.-M. Jézéquel, G. Botterweck, A. Ventresque.
Learning Software Configuration Spaces: A Systematic Literature Review, Univ Rennes, Inria, CNRS, IRISA, June 2019, no 1-44, https://arxiv.org/abs/1906.03018.
https://hal.inria.fr/hal-02148791
[64]
G. Le Guernic.
Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework (extended version), Inria Rennes - Bretagne Atlantique ; IRISA, December 2019, no RR-9283.
https://hal.inria.fr/hal-02398051

Scientific Popularization

[65]
G. Kanakis, S. Fischer, D. E. Khelladi, A. Egyed.
Supporting A Flexible Grouping Mechanism for Collaborating Engineering Teams, in: ICGSE 2019 - 14th ACM/IEEE International Conference on Global Software Engineering, Montreal, QC, Canada, IEEE, May 2019, pp. 129-138. [ DOI : 10.1109/ICGSE.2019.00033 ]
https://hal.inria.fr/hal-02192482
[66]
D. E. Khelladi, R. Kretschmer, A. Egyed.
Detecting and Exploring Side Effects when Repairing Model Inconsistencies, in: SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Athènes, Greece, ACM, October 2019, pp. 103-126. [ DOI : 10.1145/3357766.3359546 ]
https://hal.inria.fr/hal-02326034

Other Publications

[67]
J. Alves Pereira, M. Acher, H. Martin, J.-M. Jézéquel.
Sampling Effect on Performance Prediction of Configurable Systems: A Case Study, November 2019, working paper or preprint.
https://hal.inria.fr/hal-02356290
[68]
M. Leduc, G. Jouneaux, T. Degueule, G. Le Guernic, O. Barais, B. Combemale.
Automatic generation of Truffle-based interpreters for Domain-Specific Languages, December 2019, working paper or preprint.
https://hal.inria.fr/hal-02395867
References in notes
[69]
A. Arcuri, L. C. Briand.
A practical guide for using statistical tests to assess randomized algorithms in software engineering, in: ICSE, 2011, pp. 1-10.
[70]
A. Avizienis.
The N-version approach to fault-tolerant software, in: Software Engineering, IEEE Transactions on, 1985, no 12, pp. 1491–1501.
[71]
F. Bachmann, L. Bass.
Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, no 3, pp. 126–132.
[72]
F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli.
Metropolis: An integrated electronic system design environment, in: Computer, 2003, vol. 36, no 4, pp. 45–52.
[73]
E. Baniassad, S. Clarke.
Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
[74]
E. G. Barrantes, D. H. Ackley, S. Forrest, D. Stefanović.
Randomized instruction set emulation, in: ACM Transactions on Information and System Security (TISSEC), 2005, vol. 8, no 1, pp. 3–40.
[75]
D. Batory, R. E. Lopez-Herrejon, J.-P. Martin.
Generating Product-Lines of Product-Families, in: ASE '02: Automated software engineering, IEEE, 2002, pp. 81–92.
[76]
S. Becker, H. Koziolek, R. Reussner.
The Palladio component model for model-driven performance prediction, in: Journal of Systems and Software, January 2009, vol. 82, no 1, pp. 3–22.
[77]
N. Bencomo.
On the use of software models during software execution, in: MISE '09: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, IEEE Computer Society, May 2009.
[78]
A. Beugnard, J.-M. Jézéquel, N. Plouzeau.
Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
[79]
J. Bosch.
Design and use of software architectures: adopting and evolving a product-line approach, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
[80]
J. Bosch, G. Florijn, D. Greefhorst, J. Kuusela, J. H. Obbink, K. Pohl.
Variability Issues in Software Product Lines, in: PFE '01: Revised Papers from the 4th International Workshop on Software Product-Family Engineering, London, UK, Springer-Verlag, 2002, pp. 13–21.
[81]
L. C. Briand, E. Arisholm, S. Counsell, F. Houdek, P. Thévenod–Fosse.
Empirical studies of object-oriented artifacts, methods, and processes: state of the art and future directions, in: Empirical Software Engineering, 1999, vol. 4, no 4, pp. 387–404.
[82]
J. T. Buck, S. Ha, E. A. Lee, D. G. Messerschmitt.
Ptolemy: A framework for simulating and prototyping heterogeneous systems, in: Int. Journal of Computer Simulation, 1994.
[83]
T. Bures, P. Hnetynka, F. Plasil.
Sofa 2.0: Balancing advanced features in a hierarchical component model, in: Software Engineering Research, Management and Applications, 2006. Fourth International Conference on, IEEE, 2006, pp. 40–48.
[84]
B. H. C. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns, J. Whittle.
D. Hutchison, T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell, M. Naor, O. Nierstrasz, C. Pandu Rangan, B. Steffen, M. Sudan, D. Terzopoulos, D. Tygar, M. Y. Vardi, G. Weikum, B. H. C. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee (editors), Software Engineering for Self-Adaptive Systems: A Research Roadmap , Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, vol. 5525.
[85]
J. Coplien, D. Hoffman, D. Weiss.
Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, no 6, pp. 37–45.
[86]
I. Crnkovic, S. Sentilles, A. Vulgarakis, M. R. Chaudron.
A classification framework for software component models, in: Software Engineering, IEEE Transactions on, 2011, vol. 37, no 5, pp. 593–615.
[87]
K. Czarnecki, U. W. Eisenecker.
Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
[88]
R. DeMilli, A. J. Offutt.
Constraint-based automatic test data generation, in: Software Engineering, IEEE Transactions on, 1991, vol. 17, no 9, pp. 900–910.
[89]
K. Deb, A. Pratap, S. Agarwal, T. Meyarivan.
A fast and elitist multiobjective genetic algorithm: NSGA-II, in: Evolutionary Computation, IEEE Transactions on, 2002, vol. 6, no 2, pp. 182–197.
[90]
S. Forrest, A. Somayaji, D. H. Ackley.
Building diverse computer systems, in: Operating Systems, 1997., The Sixth Workshop on Hot Topics in, IEEE, 1997, pp. 67–72.
[91]
R. B. France, B. Rumpe.
Model-driven Development of Complex Software: A Research Roadmap, in: Proceedings of the Future of Software Engineering Symposium (FOSE '07), L. C. Briand, A. L. Wolf (editors), IEEE, 2007, pp. 37–54.
[92]
S. Frey, F. Fittkau, W. Hasselbring.
Search-based genetic optimization for deployment and reconfiguration of software in the cloud, in: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, 2013, pp. 512–521.
[93]
G. Halmans, K. Pohl.
Communicating the Variability of a Software-Product Family to Customers, in: Software and System Modeling, 2003, vol. 2, no 1, pp. 15-36.
[94]
C. Hardebolle, F. Boulanger.
ModHel'X: A component-oriented approach to multi-formalism modeling, in: Models in Software Engineering, Springer, 2008, pp. 247–258.
[95]
M. Harman, B. F. Jones.
Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, no 14, pp. 833–839.
[96]
H. Hemmati, L. C. Briand, A. Arcuri, S. Ali.
An enhanced test case selection approach for model-based testing: an industrial case study, in: SIGSOFT FSE, 2010, pp. 267-276.
[97]
J. Hutchinson, J. Whittle, M. Rouncefield, S. Kristoffersen.
Empirical assessment of MDE in industry, in: Proceedings of the 33rd International Conference on Software Engineering (ICSE '11), R. N. Taylor, H. Gall, N. Medvidovic (editors), ACM, 2011, pp. 471–480.
[98]
J.-M. Jézéquel.
Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, no 2, pp. 209–218.
http://www.irisa.fr/triskell/publis/2008/Jezequel08a.pdf
[99]
K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, A. S. Peterson.
Feature-Oriented Domain Analysis (FODA) Feasibility Study, Carnegie-Mellon University Software Engineering Institute, November 1990.
[100]
J. Kramer, J. Magee.
Self-Managed Systems: an Architectural Challenge, in: Future of Software Engineering, IEEE, 2007, pp. 259–268.
[101]
K.-K. Lau, P. V. Elizondo, Z. Wang.
Exogenous connectors for software components, in: Component-Based Software Engineering, Springer, 2005, pp. 90–106.
[102]
P. McMinn.
Search-based software test data generation: a survey, in: Software Testing, Verification and Reliability, 2004, vol. 14, no 2, pp. 105–156.
[103]
J. Meekel, T. B. Horton, C. Mellone.
Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
[104]
A. M. Memon.
An event-flow model of GUI-based applications for testing, in: Software Testing, Verification and Reliability, 2007, vol. 17, no 3, pp. 137–157.
[105]
B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.
http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
[106]
P.-A. Muller, F. Fleurey, J.-M. Jézéquel.
Weaving Executability into Object-Oriented Meta-Languages, in: Proc. of MODELS/UML'2005, Jamaica, LNCS, Springer, 2005.
[107]
R. Mélisson, P. Merle, D. Romero, R. Rouvoy, L. Seinturier.
Reconfigurable run-time support for distributed service component architectures, in: the IEEE/ACM international conference, New York, New York, USA, ACM Press, 2010, 171 p.
[108]
C. Nebut, Y. Le Traon, J.-M. Jézéquel.
System Testing of Product Families: from Requirements to Test Cases, Springer Verlag, 2006, pp. 447–478.
http://www.irisa.fr/triskell/publis/2006/Nebut06b.pdf
[109]
C. Nebut, S. Pickin, Y. Le Traon, J.-M. Jézéquel.
Automated Requirements-based Generation of Test Cases for Product Families, in: Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003.
http://www.irisa.fr/triskell/publis/2003/nebut03b.pdf
[110]
L. M. Northrop.
SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, no 4, pp. 32–40.
[111]
L. M. Northrop.
A Framework for Software Product Line Practice, in: Proceedings of the Workshop on Object-Oriented Technology, Springer-Verlag London, UK, 1999, pp. 365–376.
[112]
I. Ober, S. Graf, I. Ober.
Validating timed UML models by simulation and verification, in: International Journal on Software Tools for Technology Transfer, 2006, vol. 8, no 2, pp. 128–145.
[113]
D. L. Parnas.
On the Design and Development of Program Families, in: IEEE Trans. Softw. Eng., 1976, vol. 2, no 1, pp. 1–9.
[114]
S. Pickin, C. Jard, T. Jéron, J.-M. Jézéquel, Y. Le Traon.
Test Synthesis from UML Models of Distributed Software, in: IEEE Transactions on Software Engineering, April 2007, vol. 33, no 4, pp. 252–268.
[115]
K. Pohl, G. Böckle, F. J. van der Linden.
Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2005.
[116]
B. Randell.
System structure for software fault tolerance, in: Software Engineering, IEEE Transactions on, 1975, no 2, pp. 220–232.
[117]
M. Rinard.
Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
[118]
J. Rothenberg, L. E. Widman, K. A. Loparo, N. R. Nielsen.
The Nature of Modeling, in: in Artificial Intelligence, Simulation and Modeling, John Wiley & Sons, 1989, pp. 75–92.
[119]
P. Runeson, M. Höst.
Guidelines for conducting and reporting case study research in software engineering, in: Empirical Software Engineering, 2009, vol. 14, no 2, pp. 131–164.
[120]
D. Schmidt.
Guest Editor's Introduction: Model-Driven Engineering, in: IEEE Computer, 2006, vol. 39, no 2, pp. 25–31.
[121]
F. Shull, J. Singer, D. I. Sjberg.
Guide to advanced empirical software engineering, Springer, 2008.
[122]
S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, M. Rinard.
Managing performance vs. accuracy trade-offs with loop perforation, in: Proc. of the Symp. on Foundations of software engineering, New York, NY, USA, ESEC/FSE '11, ACM, 2011, pp. 124-134.
[123]
J. Steel, J.-M. Jézéquel.
On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, no 4, pp. 401–414.
http://www.irisa.fr/triskell/publis/2007/Steel07a.pdf
[124]
C. Szyperski, D. Gruntz, S. Murer.
Component software: beyond object-oriented programming, Addison-Wesley, 2002.
[125]
J.-C. Trigaux, P. Heymans.
Modelling variability requirements in Software Product Lines: a comparative survey, FUNDP Namur, 2003.
[126]
M. Utting, B. Legeard.
Practical model-based testing: a tools approach, Morgan Kaufmann, 2010.
[127]
P. Vromant, D. Weyns, S. Malek, J. Andersson.
On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
[128]
C. Yilmaz, M. B. Cohen, A. A. Porter.
Covering arrays for efficient fault characterization in complex configuration spaces, in: Software Engineering, IEEE Transactions on, 2006, vol. 32, no 1, pp. 20–34.
[129]
Z. A. Zhu, S. Misailovic, J. A. Kelner, M. Rinard.
Randomized accuracy-aware program transformations for efficient approximate computations, in: Proc. of the Symp. on Principles of Programming Languages (POPL), 2012, pp. 441-454.
[130]
T. Ziadi, J.-M. Jézéquel.
Product Line Engineering with the UML: Deriving Products, Springer Verlag, 2006, pp. 557-586.