Source: https://raweb.inria.fr/rapportsactivite/RA2017/diverse/bibliography.html
Timestamp: 2019-04-21 06:51:26+00:00

Document:
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.
A. Blouin, N. Moha, B. Baudry, H. Sahraoui, J.-M. Jézéquel.
M. 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.
G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.
G. Bécan, N. Sannier, M. Acher, O. Barais, A. Blouin, B. Baudry.
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.
B. Combemale, J. Deantoni, M. E. Vara Larsen, F. Mallet, O. Barais, B. Baudry, R. France.
J.-M. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelang-Huang, P. Heymans.
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.
J. A. Galindo, 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.
I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel, B. Baudry.
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.
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.
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.
M. Tricoire, O. Barais, M. Leduc, J. Bourcier, F. Fouquet, G. Nain, L. Mouline, G. Sunyé, B. Morin.
Automatic non-functional testing and tuning of configurable generators, Université Rennes 1, September 2017.
Browser Fingerprinting: Exploring Device Diversity to Augment Authentication and Build Client-Side Countermeasures, INSA Rennes, October 2017.
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.
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 2018, pp. 1-28.
S. Ben Nasr, G. Bécan, M. Acher, J. F. F. Bosco, N. Sannier, B. Baudry, J.-M. Davril.
E. Bousse, D. Leroy, B. Combemale, M. Wimmer, B. Baudry.
E. Bousse, T. Mayerhofer, B. Combemale, B. Baudry.
K. Corre, O. Barais, G. Sunyé, V. Frey, J.-M. Crom.
K. Corre, S. Bécot, O. Barais, G. Sunyé.
B. Danglot, P. Preux, B. Baudry, M. Monperrus.
D. A. Méndez-Acuña, J. A. Galindo, B. Combemale, A. Blouin, B. Baudry.
P. Temple, M. Acher, J.-M. Jezequel, O. Barais.
M. 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, February 2018, pp. 1-6.
O. Barais, B. Combemale, A. Wortmann.
Language Engineering with the GEMOC Studio, in: ICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Gothenburg, Sweden, IEEE (editor), April 2017, 3 p.
A. Benelallam, T. Hartmann, L. Mouline, F. FOUQUET, J. Bourcier, O. Barais, Y. Le Traon.
Raising Time Awareness in Model-Driven Engineering, in: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, United States, September 2017.
A. Gómez-Boix, P. Laperdrix, B. Baudry.
Fingerprinting mobile devices: A short analysis, in: CIEL 2017 - 6ème Conférence en IngénieriE du Logiciel, Montpellier, France, June 2017.
A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin, P. Heymans.
P. Laperdrix, B. Baudry, V. Mishra.
FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques, in: ESSoS 2017 - 9th International Symposium on Engineering Secure Software and Systems, Bonn, Germany, July 2017, 17 p.
G. Le Moulec, F. Argelaguet, V. Gouranton, A. Blouin, B. Arnaldi.
AGENT: Automatic Generation of Experimental Protocol Runtime, in: ACM Symposium on Virtual Reality Software and Technology (VRST), Gothenburg, Sweden, Virtual Reality Software and Technology, November 2017.
M. Leduc, T. Degueule, B. Combemale, T. Van Der Storm, O. Barais.
Revisiting Visitors for Modular Extension of Executable DSMLs, in: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, United States, September 2017.
D. Leroy, E. Bousse, M. Wimmer, B. Combemale, W. Schwinger.
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration), in: EXE 2017 - 3rd International Workshop on Executable Modeling, Austin, United States, September 2017, pp. 1-6.
Y. Ndiaye, N. Aillery, O. Barais, A. Blouin, A. Bouabdallah.
Modélisation et Évaluation de la Sécurité des IHM, in: CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Montpellier, France, June 2017.
Q. Plazar, M. Acher, S. Bardin, A. Gotlieb.
Efficient and Complete FD-Solving for Extended Array Constraints *, in: IJCAI 2017, Melbourne, Australia, August 2017.
A. 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. 1-14.
T. Degueule, B. Combemale, J.-M. Jézéquel.
On Language Interfaces, in: PAUSE: Present And Ulterior Software Engineering, B. Meyer, M. Mazzara (editors), Springer, February 2017.
Verifying the configuration of Virtualized Network Functions in Software Defined Networks, b<>com, 2017, pp. 1-6, Accepted version of the paper but with two formulas which had to be deleted in the final version for size reasons, forthcoming.
Report on the 1 st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17), December 2017, pp. 1-6.
P. Temple, M. Acher, J.-M. Jézéquel, L. Noel-Baron, J. A. Galindo.
Learning-Based Performance Specialization of Configurable Systems, IRISA, Inria Rennes ; University of Rennes 1, February 2017.
A. Wortmann, B. Combemale, O. Barais.
A Systematic Mapping Study on Modeling for Industry 4.0, Inria Rennes - Bretagne Atlantique and University of Rennes 1, France, April 2017, no RR-9062, 25 p.
Comment maîtriser la complexité des logiciels ?, in: Interstices, February 2017.
L. Mouline, T. Hartmann, F. Fouquet, Y. Le Traon, J. Bourcier, O. Barais.
A. Blouin, V. Lelli, B. Baudry, F. Coulon.
User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners, April 2017, working paper or preprint.
G. Le Moulec, A. Blouin, V. Gouranton, B. Arnaldi.
Automatic Production of End User Documentation for DSLs, December 2017, working paper or preprint.
M. Monperrus, B. Danglot, O. Vera-Perez, Z. Yu, B. Baudry.
The Emerging Field of Test Amplification: A Survey, November 2017, https://arxiv.org/abs/1705.10692 - working paper or preprint.
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.
The N-version approach to fault-tolerant software, in: Software Engineering, IEEE Transactions on, 1985, no 12, pp. 1491–1501.
Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, no 3, pp. 126–132.
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.
Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
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.
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.
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.
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.
A. Beugnard, J.-M. Jézéquel, N. Plouzeau.
Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
Design and use of software architectures: adopting and evolving a product-line approach, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
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.
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.
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.
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.
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.
J. Coplien, D. Hoffman, D. Weiss.
Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, no 6, pp. 37–45.
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.
K. Czarnecki, U. W. Eisenecker.
Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
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.
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.
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.
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.
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.
Communicating the Variability of a Software-Product Family to Customers, in: Software and System Modeling, 2003, vol. 2, no 1, pp. 15-36.
ModHel'X: A component-oriented approach to multi-formalism modeling, in: Models in Software Engineering, Springer, 2008, pp. 247–258.
M. Harman, B. F. Jones.
Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, no 14, pp. 833–839.
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.
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.
Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, no 2, pp. 209–218.
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.
Self-Managed Systems: an Architectural Challenge, in: Future of Software Engineering, IEEE, 2007, pp. 259–268.
K.-K. Lau, P. V. Elizondo, Z. Wang.
Exogenous connectors for software components, in: Component-Based Software Engineering, Springer, 2005, pp. 90–106.
Search-based software test data generation: a survey, in: Software Testing, Verification and Reliability, 2004, vol. 14, no 2, pp. 105–156.
J. Meekel, T. B. Horton, C. Mellone.
Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
An event-flow model of GUI-based applications for testing, in: Software Testing, Verification and Reliability, 2007, vol. 17, no 3, pp. 137–157.
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.
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.
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.
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.
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.
SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, no 4, pp. 32–40.
A Framework for Software Product Line Practice, in: Proceedings of the Workshop on Object-Oriented Technology, Springer-Verlag London, UK, 1999, pp. 365–376.
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.
On the Design and Development of Program Families, in: IEEE Trans. Softw. Eng., 1976, vol. 2, no 1, pp. 1–9.
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.
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.
System structure for software fault tolerance, in: Software Engineering, IEEE Transactions on, 1975, no 2, pp. 220–232.
Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
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.
Guidelines for conducting and reporting case study research in software engineering, in: Empirical Software Engineering, 2009, vol. 14, no 2, pp. 131–164.
Guest Editor's Introduction: Model-Driven Engineering, in: IEEE Computer, 2006, vol. 39, no 2, pp. 25–31.
F. Shull, J. Singer, D. I. Sjberg.
Guide to advanced empirical software engineering, Springer, 2008.
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.
On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, no 4, pp. 401–414.
C. Szyperski, D. Gruntz, S. Murer.
Component software: beyond object-oriented programming, Addison-Wesley, 2002.
Modelling variability requirements in Software Product Lines: a comparative survey, FUNDP Namur, 2003.
Practical model-based testing: a tools approach, Morgan Kaufmann, 2010.
P. Vromant, D. Weyns, S. Malek, J. Andersson.
On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
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.
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.
Product Line Engineering with the UML: Deriving Products, Springer Verlag, 2006, pp. 557-586.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.