EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1B. 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
  • 2A. Blouin, N. Moha, B. Baudry, H. Sahraoui, J.-M. Jézéquel.

    Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels, in: Information and Software Technology, 2015, vol. 62, pp. 124 - 142. [ DOI : 10.1016/j.infsof.2015.02.007 ]

    https://hal.inria.fr/hal-01120558
  • 3M. Boussaa, O. Barais, B. Baudry, G. Sunyé.

    NOTICE: A Framework for Non-functional Testing of Compilers, in: Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS), August 2016.

    https://hal.archives-ouvertes.fr/hal-01344835
  • 4G. 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
  • 5G. Bécan, N. Sannier, M. Acher, O. Barais, A. Blouin, B. Baudry.

    Automating the Formalization of Product Comparison Matrices, in: Proc. of the Int. Conf. on Automated Software Engineering (ASE), September 2014. [ DOI : 10.1145/2642937.2643000 ]

    https://hal.inria.fr/hal-01058440
  • 6B. 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
  • 7B. Combemale, J. Deantoni, M. E. Vara Larsen, F. Mallet, O. Barais, B. Baudry, R. France.

    Reifying Concurrency for Executable Metamodeling, in: Proc. of the Int. Conf. on Software Language Engineering, October 2013, pp. 365-384. [ DOI : 10.1007/978-3-319-02654-1_20 ]

    https://hal.inria.fr/hal-00850770
  • 8J.-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
  • 9T. 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
  • 10J. 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
  • 11I. 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
  • 12J.-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
  • 13P. 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
  • 14M. 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
  • 15M. Tricoire, O. Barais, M. Leduc, J. Bourcier, F. Fouquet, G. Nain, L. Mouline, G. Sunyé, B. Morin.

    KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser, in: Proc. of WICSA and CompArch, April 2016. [ DOI : 10.1109/CBSE.2016.20 ]

    https://hal.inria.fr/hal-01354997
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 18M. 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 2018, pp. 1-41. [ DOI : 10.1007/s11219-017-9400-8 ]

    https://hal.inria.fr/hal-01688247
  • 19A. Benelallam, A. Gómez, M. Tisi, J. Cabot.

    Distributing Relational Model Transformation on MapReduce, in: Journal of Systems and Software, April 2018, vol. 142, pp. 1-20. [ DOI : 10.1016/j.jss.2018.04.014 ]

    https://hal.archives-ouvertes.fr/hal-01863885
  • 20A. 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
  • 21E. 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
  • 22B. Combemale, J. Kienzle, G. Mussbacher, O. Barais, E. Bousse, W. Cazzola, P. Collet, T. Degueule, R. Heinrich, J.-M. Jézéquel, M. Leduc, T. Mayerhofer, S. Mosser, M. Schöttle, M. Strittmatter, A. Wortmann.

    Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering, in: Computer Languages, Systems and Structures, 2018, vol. 54, pp. 139-155. [ DOI : 10.1016/j.cl.2018.05.004 ]

    https://hal.archives-ouvertes.fr/hal-01803008
  • 23B. Danglot, O. Luis Vera-Pérez, B. Baudry, M. Monperrus.

    Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects, in: Empirical Software Engineering, 2018, pp. 1-35.

    https://hal.inria.fr/hal-01923575
  • 24B. Danglot, P. Preux, B. Baudry, M. Monperrus.

    Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation, in: Empirical Software Engineering, August 2018, vol. 23, no 4, pp. 2086–2119, https://arxiv.org/abs/1611.09187. [ DOI : 10.1007/s10664-017-9571-8 ]

    https://hal.archives-ouvertes.fr/hal-01378523
  • 25A. 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, https://arxiv.org/abs/1710.07980. [ DOI : 10.1007/s10664-018-9635-4 ]

    https://hal.inria.fr/hal-01829928
  • 26J. Kienzle, G. Mussbacher, B. Combemale, J. Deantoni.

    A Unifying Framework for Homogeneous Model Composition, in: Software & Systems Modeling, January 2019, pp. 1-19. [ DOI : 10.1007/s10270-018-00707-8 ]

    https://hal.inria.fr/hal-01949050
  • 27G. Le Moulec, A. Blouin, V. Gouranton, B. Arnaldi.

    Automatic Production of End User Documentation for DSLs, in: Computer Languages, Systems and Structures, July 2018, vol. 54, pp. 337-357, Accepted for publication in COMLAN. [ DOI : 10.1016/j.cl.2018.07.006 ]

    https://hal.inria.fr/hal-01549042
  • 28O. 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

International Conferences with Proceedings

  • 29M. Acher, R. E. Lopez-Herrejon, R. Rabiser.

    Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract), in: SPLC2018 - 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, September 2018, 1 p.

    https://hal.inria.fr/hal-01829933
  • 30M. Acher, P. Temple, J.-M. Jezequel, J. Á. Galindo Duarte, J. Martinez, T. Ziadi.

    VaryLaTeX: Learning Paper Variants That Meet Constraints, in: VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Madrid, Spain, ACM, February 2018, pp. 83-88. [ DOI : 10.1145/3168365.3168372 ]

    https://hal.inria.fr/hal-01659161
  • 31F. Bordeleau, B. Combemale, R. Eramo, M. V. D. Brand, M. Wimmer.

    Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap, in: GEMOC 2018, Copenhagen, Denmark, 2018.

    https://hal.inria.fr/hal-01958443
  • 34J.-E. Dartois, A. Knefati, J. Boukhobza, O. Barais.

    Using Quantile Regression for Reclaiming Unused Cloud Resources while achieving SLA, in: CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Nicosia, Cyprus, IEEE, December 2018, pp. 1-10.

    https://hal.inria.fr/hal-01898438
  • 35A. Gómez-Boix, P. Laperdrix, B. Baudry.

    Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale, in: WWW2018 - TheWebConf 2018 : 27th International World Wide Web Conference, Lyon, France, April 2018, pp. 1-10. [ DOI : 10.1145/3178876.3186097 ]

    https://hal.inria.fr/hal-01718234
  • 37B. Lelandais, M.-P. Oudot, B. Combemale.

    Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo), in: SLE 2018 - International Conference on Software Language Engineering, Boston, United States, November 2018, pp. 1-9. [ DOI : 10.1145/3276604.3276620 ]

    https://hal.inria.fr/hal-01910139
  • 38L. Mouline, A. Benelallam, F. Fouquet, J. Bourcier, O. Barais.

    A Temporal Model for Interactive Diagnosis of Adaptive Systems, in: ICAC 2018 - IEEE International Conference on Autonomic Computing, Trento, Italy, September 2018, pp. 1-6.

    https://hal.inria.fr/hal-01862964
  • 39L. Mouline, A. Benelallam, T. Hartmann, F. Fouquet, J. Bourcier, B. Morin, O. Barais.

    Enabling Temporal-Aware Contexts for Adaptative Distributed Systems Temporal Context Representation System updates, in: SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Pau, France, SAC 2018: SAC 2018: Symposium on Applied Computing , April 9–13, 2018, Pau, France, April 2018, pp. 1-8. [ DOI : 10.1145/3167132.3167286 ]

    https://hal.inria.fr/hal-01723451
  • 40C. Soto-Valero, J. Bourcier, B. Baudry.

    Detection and Analysis of Behavioral T-patterns in Debugging Activities, in: MSR 2018 - Mining Software Repositories, Gothenburg, Sweden, May 2018, pp. 1-4. [ DOI : 10.1145/3196398.3196452 ]

    https://hal.inria.fr/hal-01763369
  • 41P. Temple, M. Acher, J.-M. Jézéquel.

    Multimorphic Testing, in: ICSE '18 - ACM/IEEE 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018, pp. 1-2. [ DOI : 10.1145/3183440.3195043 ]

    https://hal.inria.fr/hal-01730163
  • 42A. Vastel, P. Laperdrix, W. Rudametkin, R. Rouvoy.

    FP-STALKER: Tracking Browser Fingerprint Evolutions, in: IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, San Francisco, United States, B. Parno, C. Kruegel (editors), Proceedings of the 39th IEEE Symposium on Security and Privacy (S&P), IEEE, May 2018, pp. 728-741. [ DOI : 10.1109/SP.2018.00008 ]

    https://hal.inria.fr/hal-01652021
  • 43O. L. Vera-Pérez, M. Monperrus, B. Baudry.

    Descartes: a PITest engine to detect pseudo-tested methods - tool demonstration, in: ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, Montpellier, France, ACM Press, September 2018, pp. 908-911. [ DOI : 10.1145/3238147.3240474 ]

    https://hal.inria.fr/hal-01870976

Conferences without Proceedings

  • 44D. Leroy, E. Bousse, A. Megna, B. Combemale, M. Wimmer.

    Trace Comprehension Operators for Executable DSLs, in: ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Toulouse, France, LNCS, Springer, June 2018, vol. 10890, pp. 293-310. [ DOI : 10.1007/978-3-319-92997-2_19 ]

    https://hal.inria.fr/hal-01803031
  • 45J. Martinez, J.-S. Sottet, A. García Frey, T. Bissyandé, T. Ziadi, J. Klein, P. Temple, M. Acher, Y. Le Traon.

    Towards Estimating and Predicting User Perception on Software Product Variants, in: ICSR 2018 - International Conference on Software Reuse, Madrid, Spain, LNCS, Springer, May 2018, vol. 10826, pp. 23-40. [ DOI : 10.1007/978-3-319-90421-4_2 ]

    https://hal.sorbonne-universite.fr/hal-01720519
  • 46A. Rio, Y. Maurel, O. Barais, Y. Bugni.

    Efficient use of local energy: An activity oriented modeling to guide Demand Side Management, in: MODELS 2018 - 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark, ACM Press, October 2018, pp. 458-468. [ DOI : 10.1145/3239372.3239391 ]

    https://hal.archives-ouvertes.fr/hal-01913169
References in notes
  • 47A. Arcuri, L. C. Briand.

    A practical guide for using statistical tests to assess randomized algorithms in software engineering, in: ICSE, 2011, pp. 1-10.
  • 48A. Avizienis.

    The N-version approach to fault-tolerant software, in: Software Engineering, IEEE Transactions on, 1985, no 12, pp. 1491–1501.
  • 49F. Bachmann, L. Bass.

    Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, no 3, pp. 126–132.
  • 50F. 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.
  • 51E. Baniassad, S. Clarke.

    Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
  • 52E. 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.
  • 53D. 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.
  • 54S. 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.
  • 55N. 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.
  • 56A. Beugnard, J.-M. Jézéquel, N. Plouzeau.

    Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
  • 57J. 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.
  • 58J. 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.
  • 59L. 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.
  • 60J. 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.
  • 61T. 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.
  • 62B. 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.
  • 63J. Coplien, D. Hoffman, D. Weiss.

    Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, no 6, pp. 37–45.
  • 64I. 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.
  • 65K. Czarnecki, U. W. Eisenecker.

    Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
  • 66R. DeMilli, A. J. Offutt.

    Constraint-based automatic test data generation, in: Software Engineering, IEEE Transactions on, 1991, vol. 17, no 9, pp. 900–910.
  • 67K. 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.
  • 68S. 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.
  • 69R. 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.
  • 70S. 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.
  • 71G. 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.
  • 72C. Hardebolle, F. Boulanger.

    ModHel'X: A component-oriented approach to multi-formalism modeling, in: Models in Software Engineering, Springer, 2008, pp. 247–258.
  • 73M. Harman, B. F. Jones.

    Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, no 14, pp. 833–839.
  • 74H. 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.
  • 75J. 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.
  • 76J.-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
  • 77K. 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.
  • 78J. Kramer, J. Magee.

    Self-Managed Systems: an Architectural Challenge, in: Future of Software Engineering, IEEE, 2007, pp. 259–268.
  • 79K.-K. Lau, P. V. Elizondo, Z. Wang.

    Exogenous connectors for software components, in: Component-Based Software Engineering, Springer, 2005, pp. 90–106.
  • 80P. McMinn.

    Search-based software test data generation: a survey, in: Software Testing, Verification and Reliability, 2004, vol. 14, no 2, pp. 105–156.
  • 81J. Meekel, T. B. Horton, C. Mellone.

    Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
  • 82A. 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.
  • 83B. 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
  • 84P.-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.
  • 85R. 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.
  • 86C. 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
  • 87C. 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
  • 88R. Niedermayr, E. Juergens, S. Wagner.

    Will my tests tell me if I break this code?, in: Proceedings of the International Workshop on Continuous Software Evolution and Delivery, ACM, 2016, pp. 23–29.
  • 89L. M. Northrop.

    SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, no 4, pp. 32–40.
  • 90L. 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.
  • 91I. 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.
  • 92D. L. Parnas.

    On the Design and Development of Program Families, in: IEEE Trans. Softw. Eng., 1976, vol. 2, no 1, pp. 1–9.
  • 93S. 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.
  • 94K. 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.
  • 95B. Randell.

    System structure for software fault tolerance, in: Software Engineering, IEEE Transactions on, 1975, no 2, pp. 220–232.
  • 96M. Rinard.

    Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
  • 97J. 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.
  • 98P. 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.
  • 99D. Schmidt.

    Guest Editor's Introduction: Model-Driven Engineering, in: IEEE Computer, 2006, vol. 39, no 2, pp. 25–31.
  • 100F. Shull, J. Singer, D. I. Sjberg.

    Guide to advanced empirical software engineering, Springer, 2008.
  • 101S. 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.
  • 102J. 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
  • 103C. Szyperski, D. Gruntz, S. Murer.

    Component software: beyond object-oriented programming, Addison-Wesley, 2002.
  • 104J.-C. Trigaux, P. Heymans.

    Modelling variability requirements in Software Product Lines: a comparative survey, FUNDP Namur, 2003.
  • 105M. Utting, B. Legeard.

    Practical model-based testing: a tools approach, Morgan Kaufmann, 2010.
  • 106P. Vromant, D. Weyns, S. Malek, J. Andersson.

    On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
  • 107C. 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.
  • 108Z. 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.
  • 109T. Ziadi, J.-M. Jézéquel.

    Product Line Engineering with the UML: Deriving Products, Springer Verlag, 2006, pp. 557-586.


previous Previous | up Home