Refereed Conference Papers
| 2024 | |
| [110] | With Great Humor Comes Great Developer Engagement , In Proc. of ICSE-SEIS, 2024. |
| 2022 | |
| [109] | Harvesting Production GraphQL Queries to Detect Schema Faults , In Proc. of ICST, 2022. |
| [108] | Exhaustive Survey of Rickrolling in Academic Literature , In Proc. of SIGBOVIK'22, 2022. |
| [107] | Multi-variant Execution at the Edge , In Proc. of MTD'22, 2022. |
| 2021 | |
| [106] | A Longitudinal Analysis of Bloated Java Dependencies , In Proc. of the Europ. Software Engineering Conf. and Symp. on the Foundations of Software Engineering (ESEC/FSE), 2021. (ACM distinguished paper award) |
| [105] | The Behavioral Diversity of Java JSON Libraries , In Proc. of the Int. Symp. on Software Reliability (ISSRE), 2021. |
| [104] | DUETS: A Dataset of Reproducible Pairs of Java Library-Clients , In Proc. of Mining Software Repositories (MSR), 2021. (Data showcase award) |
| [103] | Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly , In Proc. of SecDev, 2021. |
| 2020 | |
| [102] | Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks , In Proc. of the Int. Conf. on Principles and Practice of Constraint Programming (CP), 2020. (Best paper award) |
| [101] | re\(\vert\)Traces of Search: Exploring Human-Software Entanglements Through the Search Engine , In Proc. of the ACM Designing Interactive Systems Conference (DIS), 2020. |
| [100] | Superoptimization of WebAssembly bytecode , In Companion Proc. of Programming'20, 2020. |
| 2019 | |
| [99] | The Emergence of Software Diversity in Maven Central , In Proc. of Mining Software Repositories (MSR), 2019. |
| [98] | Approximate loop unrolling , In Proc. of the Int. Conference on Computing Frontiers (CF), ACM, 2019. |
| [97] | Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting , In Proc. of the Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), 2019. |
| [96] | The Strengths and Behavioral Quirks of Java Bytecode Decompilers , In Proc. of the Int. Working Conference on Source Code Analysis and Manipulation (SCAM), 2019. |
| [95] | The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central , In Proc. of Mining Software Repositories (MSR), 2019. (Data showcase award) |
| 2018 | |
| [94] | Images of Code: Lossy Compression for Native Instructions , In Proc. of the NIER track at ICSE, 2018. |
| [93] | Code\strata\ Sonifying Software Complexity , In Proc. of the Int. Conf. on Tangible, Embedded and Embodied Interactions (TEI), 2018. |
| [92] | Detection and Analysis of Behavioral T-patterns in Debugging Activities , In Proc. of Mining Software Repositories (MSR), 2018. |
| [91] | Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration , In Proc. of Automated Software Engineering Conf. (ASE), 2018. |
| [90] | Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2018. |
| [89] | Exhaustive Exploration of the Failure-oblivious Computing Search Space , In Proc. of the Int. Conf. on Sotware Testing and Verification (ICST), 2018. |
| [88] | Hiding in the crowd: an analysis of the effectiveness of browser fingerprinting at large scale , In Proc. of the Web conference (WWW), 2018. |
| 2017 | |
| [87] | FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques , In Proc. of the Symposium on Engineering Secure Software and Systems (ESSOS), 2017. |
| 2016 | |
| [86] | Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding , In Proc. of the Automated Software Engineering Conference (ASE), 2016. |
| [85] | NOTICE: A Framework for Non-functional Testing of Compilers , In Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS), 2016. |
| [84] | Puzzle: A tool for analyzing and extracting specification clones in DSLs , In Proc. of the Int. Conf. on Software Reuse, 2016. |
| [83] | Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints , In Proc. of the Symp. on Security and Privacy (S&P), 2016. (CNIL-INRIA award) |
| [82] | Automatic Detection of GUI Design Smells: The Case of Blob Listener , In Proc. of the Symp. on Engineering Interactive Computing Systems (EICS), 2016. |
| [81] | libmask: Protecting Browser JIT Engines from the Devil in the Constants , In Proc. of the Privacy, Security and Trust Conference (PST), 2016. |
| [80] | Exploiting the Enumeration of All Feature Model Configurations , In Proc. of the Software Product Line Conference (SPLC), 2016. |
| [79] | Automatic Non-functional Testing of Code Generators Families , In Proc. of the Int. Conf. on Generative Programming: Concepts and Experiences (GPCE), 2016. |
| 2015 | |
| [78] | Discovering Model Transformation Pre-conditions using Automatically Generated Test Models , In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2015. |
| [77] | Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach , In Proc. of the European Conference on Artificial Life (ECAL), 2015. |
| [76] | Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study , In Proc. of the Int. Software Product Line Conference (SPLC), 2015. |
| [75] | Classifying and Qualifying GUI Defects , In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2015. |
| [74] | Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification , In Proc. of the Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2015. |
| [73] | Supporting efficient and advanced omniscient debugging for xDSMLs , In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2015. |
| [72] | A Generative Approach to Define Rich Domain-Specific Trace Metamodels , In Proc. of the Euro.. Conf. on Modeling Foundations and Applications (ECMFA), 2015. |
| [71] | MatrixMiner: a red pill to architect informal product descriptions in the matrix , In Proc. of the Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2015. |
| 2014 | |
| [70] | Slicing-based Techniques for Visualizing Large Metamodels , In Proc. of the Working Conf. on Software Visualization (VISSOFT), 2014. |
| [69] | INCREMENT: A mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis , In Proc. of the Conf. on Requirement Engineering: Foundation for Software Quality (REFSQ), 2014. |
| [68] | An Approach to Derive Usage Models Variants for Model-based Testing , In Proc. of the Int. Conf. on Testing Software and Systems (ICTSS), 2014. |
| [67] | A Variability-based Testing Approach for Synthesizing Video Sequences , In Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014. |
| [66] | Scalable armies of clone models through data sharing , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2014. |
| [65] | On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems , In Proc. of the Int. Conf. on Software Maintenance and Evolution (ICSME), 2014. |
| [64] | Moving Toward Product Line Engineering in a Nuclear Industry Consortium , In Proc. of the Int. Software Product Line Conference (SPLC), 2014. |
| [63] | Automating the Formalization of Product Comparison Matrices , In Proc. of the Automated Software Engineering Conference (ASE), 2014. |
| [62] | Tailored source code transformations to synthesize computationally diverse program variants , In Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014. |
| [61] | DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence , In Proc. of the Int. Conf. on Software Maintenance and Reengineering (CSMR), 2014. |
| [60] | Customization and 3D printing: a challenging playground for software product lines , In Proc. of SPLC, 2014. |
| 2013 | |
| [59] | Towards Trust-Aware and Self-Adaptive Systems , In Proc. of IFIPTM, 2013. |
| [58] | From Comparison Matrix to Variability Model: The Wikipedia Case Study , In Proc. of the Conf. on Automated Software Engineering (ASE), 2013. |
| [57] | Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software , In Proc. of the Int. Conf. on Source Code Analysis and Manipulation (SCAM), 2013. |
| [56] | Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study , In Proc. of the Int. Software Product Line Conf. (SPLC), 2013. |
| [55] | Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013. |
| [54] | Reifying Concurrency for Executable Metamodeling , In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2013. |
| 2012 | |
| [53] | Specification and Detection of SOA Antipatterns , In Proc. of the Int. Conf. on Service Oriented Computing (ICSOC), 2012. (Best paper award) |
| [52] | Managing Execution Environment Variability during Software Testing: an industrial experience , In Proc. of the International Conference on Testing Software and Systems (ICTSS), 2012. |
| [51] | A Vision for Behavioural Model-Driven Validation of Software Product Lines , In Proc of ISOLA, 2012. |
| [50] | Bridging the Chasm between Executable Metamodeling and Models of Computation , In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2012. |
| [49] | Formally Defining and Iterating Infinite Models , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2012. |
| [48] | Searching the boundaries of a modeling space to test metamodels , In Proc. of the Int. Conf. on Software Testing, Validation and Verification (ICST), 2012. |
| 2011 | |
| [47] | Tailored Shielding and Bypass Testing of Web Applications , In Proc. of the Int. Conf. on Testing, Validations and Verification (ICST), 2011. |
| [46] | Pairwise Testing of Dynamic Composite Services , In Proc. of the Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2011. |
| [45] | Estimating Footprints of Model Operations , In Proc. of the Int. Conf. on Software Engineering (ICSE), 2011. |
| [44] | PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models , In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2011. |
| [43] | Modeling Model Slicers , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2011. |
| 2010 | |
| [42] | Variability Modeling and QoS Analysis of Web Services Orchestrations , In Proc. of the International Conference on Web Services (ICWE), IEEE, 2010. |
| [41] | Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués , In Approches Formelles dans l'Assistance de Développement Logiciel, 2010. |
| [40] | Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines , In Proc. of the Int. Conf. on Software Testing, Validation and Verification (ICST), 2010. |
| [39] | Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases , In Proc. of the International Conference on Testing Software and Systems (ICTSS), 2010. |
| 2009 | |
| [38] | A Framework for Testing Model Composition Engines , In Proc. of the International Conference on Software Composition (SC), 2009. |
| [37] | Inquiring the usage of aspect-oriented programming: an empirical study , In Proc. of the International Conference on Software Maintenance (ICSM), 2009. |
| [36] | Modeling Modeling , In Proc. of the the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM distinguished paper award) |
| [35] | Transforming and selecting functional test cases for security policy testing , In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2009. |
| [34] | Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. |
| [33] | Meta-model Pruning , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. |
| [32] | Automatic Model Generation Strategies for Model Transformation Testing , In Proc. of the International Conference on Model Transformations (ICMT), 2009. |
| [31] | Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective , In Proc. of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), 2009. |
| [30] | A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ , In Proc. of the Int. Conference on Software Testing, Validation and Verification (ICST), 2009. |
| 2008 | |
| [29] | Improving Maintenance in AOP Through an Interaction Specification Framework , In Proc. of the Int. Conf. on Software Maintentance (ICSM), 2008. |
| [28] | Test-Driven Assessment of Access Control in Legacy Applications , In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2008. |
| [27] | On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing , In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2008. |
| [26] | A Model-Based Framework for Security Policy Specification, Deployment and Testing , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2008. |
| [25] | Composing Multi-View Aspect Models , In Proc. of the International Conference on Composition-Based Software Systems (ICCBSS), 2008. |
| 2007 | |
| [24] | Partial Model Completion in Model Driven Engineering using Constraint Logic Programming , In Proc. of the International Conference on the Applications of Declarative Programming (INAP), 2007. |
| [23] | Testing security policies: going beyond functional testing , In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE)), 2007. |
| [22] | Providing Support for Model Composition in Metamodels , In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| [21] | Model-Driven Engineering for Software Migration in a Large Industrial Context , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2007. |
| [20] | Producing a Global Requirement Model from Multiple Requirement Specifications , In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| [19] | Model-driven Engineering for Requirements Analysis , In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| 2006 | |
| [18] | Improving Test Suites for Efficient Fault Localization , In Proc. of the Int. Conf. on Software Engineering (ICSE), 2006. |
| [17] | Reusable MDA Components: A Testing-for-Trust Approach , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2006. |
| [16] | Mutation Analysis Testing for Model Transformations , In Proc. of the European Conference on Model Driven Architecture (ECMDA), 2006. |
| [15] | Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool , In Proc. of Int. Symp. on Software Reliability Engineering (ISSRE), 2006. |
| 2005 | |
| [14] | GÈnÈration Automatique de Test pour les Transformations de ModËles, In Proc. of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. |
| 2004 | |
| [13] | Improving the Testability of UML Diagram , In Proc. of the IWoTA at ISSRE'04, 2004. |
| [12] | A UML-Based Concept for High Concurrency: The Real-Time Object , In Proc. of ISORC, 2004. |
| [11] | From testing to diagnosis: An automated approach , In Proc of the Conf. on Automated Software Engineering (ASE), 2004. |
| [10] | Software Transformation Engineering , In Proc. of MDAFA'04, 2004. |
| 2003 | |
| [9] | Measuring and Improving Design Patterns Testability , In Proc. of the Metrics Symposium (Metrics), 2003. |
| 2002 | |
| [8] | Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Components , In Proc. of the Conf. on Automated Software Engineering (ASE), 2002. |
| [7] | Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment , In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2002. |
| [6] | Testability Analysis of UML Class Diagram , In Proc. of the Metrics Symposium (Metrics), 2002. |
| 2001 | |
| [5] | Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability , In Proc. of Int. Symp. on Software Reliability Engineering (ISSRE), 2001. |
| [4] | Robustness and Diagnosability of OO Systems Designed by Contracts , In Proc. of the Metrics Symposium (Metrics), 2001. |
| 2000 | |
| [3] | Trustable Components: Yet Another Mutation-Based Approach , In Proc. of the Symposium on Mutation Testing, 2000. |
| [2] | Building Trust into OO Components using a Genetic Analogy , In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2000. |
| [1] | Testing-for-Trust: the Genetic Selection Model applied to Component Qualification , In Proc. of TOOLS Europe, volume 33, 2000. |
Refereed Workshop Papers
| 2021 | |
| [38] | CROW: Code Diversification for WebAssembly , In Proc. of MadWeb workshop at NDSS'21, 2021. |
| 2019 | |
| [37] | Scalable Comparison of JavaScript V8 Bytecode Traces , In Proc. of Workshop on VMIL, 2019. |
| 2018 | |
| [36] | A spoonful of DevOps helps the GI go down , In Proc. of Genetic Improvement workshop (GI), 2018. |
| 2017 | |
| [35] | Software Diversification as an Obfuscation Technique , In International Workshop on Obfuscation: Science, Technology, and Theory, 2017. |
| 2015 | |
| [34] | A Novelty Search Approach for Automatic Test Data Generation , In Proc. of the Workshop on Search-Based Software Testing SBST@ICSE, 2015. |
| [33] | On Model-Based Testing Advanced GUIs , In Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), 2015. |
| [32] | Embedding Adaptivity in Software Systems using the ECSELR framework , In Proc. of the Genetic Improvement workshop at GECCO, 2015. |
| 2014 | |
| [31] | Comparing or Configuring Products: Are We Getting the Right Ones? , In 8th Int. Workshop on Variability Modelling of Software-intensive Systems (VAMOS), ACM, 2014. |
| 2013 | |
| [30] | Support for Reverse Engineering and Maintaining Feature Models , In Proc. of the International Workshop on Variability Modelling of Software-Intensive Systems, 2013. |
| 2012 | |
| [29] | Toward Multilevel Textual Requirements Traceability Using Model-driven Engineering and Information Retrieval , In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. |
| [28] | Impact of Footprinting on Model Quality , In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. |
| [27] | Defining and Retrieving Themes in Nuclear Regulations , In Proc. of the Requirements Engineering and Law workshop (RELAW'12) at RE'12, 2012. |
| [26] | A Categorical Model of Model Merging and Weaving , In Proc. of the MiSE workshop at ICSE'12, 2012. |
| 2011 | |
| [25] | Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering , In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'11) at RE'11, 2011. |
| [24] | Empirical evaluation of the conjunct use of MOF and OCL , In Proc. of EESSMOD workshop at MODELS'11, 2011. |
| 2009 | |
| [23] | AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors , In Proc. of the International Workshop on Mutation Analysis at ICST, 2009. |
| 2008 | |
| [22] | Validation challenges in model composition: The case of adaptive systems , In Proc. of ChaMDE 2000 Workshop at MODELS'08, 2008. |
| [21] | Regression Test Selection when Evolving Software with Aspects , In Proc. of the LATE workshop at AOSD'08, 2008. |
| [20] | A Generic Metamodel For Security Policies Mutation , In Proc. of the Security Testing workshop at ICST, 2008. |
| [19] | Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach , In Proc. of the Modeling Security Workshop at MODELS '08, 2008. |
| 2007 | |
| [18] | Domain-specific Model Editors with Model Completion , In Proc. of MPM Workshop at MoDELS'07, 2007. |
| [17] | Vigilant usage of Aspects , In Proc. of the ADI Workshop at ECOOP 2007, 2007. |
| [16] | Mutation analysis for security tests qualification , In Proc. of the workshop on mutation analysis at TAIC-Part 2007, 2007. |
| [15] | A Generic Approach For Automatic Model Composition , In Proc. of the AOM Workshop at MODELS'07, 2007. |
| 2006 | |
| [14] | Report on the 3rd MoDeVa Workshop - Model Design and Validation , In Proc. of the workshops and Symposia at MoDELS'06, LNCS, 2006. |
| [13] | Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces , In Proc. of the workshop on Object-Oriented Reengineering at ECOOP 06, 2006. |
| [12] | Testing Executable Themes , In Proc. of the MDSD workshop at ECOOP 06, 2006. |
| [11] | KerTheme: Testing Aspect Oriented Models , In Proc. of the IMDDMDT workshop at ECMDA'06., 2006. |
| [10] | Mutation-based Model Synthesis in Model Driven Engineering , In Proc. of the mutation'06 workshop at ISSRE'06, 2006. |
| [9] | Model Transformation Testing Challenges , In Proc. of the IMDDMDT workshop at ECMDA'06, 2006. |
| [8] | Multi-Language Support for Model-Driven Requirement Analysis and Test Generation , In Proc. of the IMDDMDT workshop at ECMDA'06., 2006. |
| 2005 | |
| [7] | Model Composition - A Signature-Based Approach , In Proc. of the AOM Workshop at MODELS'05, 2005. |
| [6] | Exploring the Relationship between Model Composition and Model Transformation , In Proc. of the AOM Workshop at MODELS'05, 2005. |
| [5] | Report on the 2nd Workshop on Model Development and Validation: MoDeVa. , In Proc. of the Satellite Events at the MoDELS'05, 2005. |
| [4] | A Taxonomy of Faults for UML Designs , In Proc. of the MoDeVa Workshop at MODELS'05, 2005. |
| 2004 | |
| [3] | MDE and Validation: Testing Model Transformations , In Proc. of the Modeva workshop at ISSRE'04, 2004. |
| [2] | Optimal Allocation of Testing Resources , In Proc. of the Modeva workshop at ISSRE'04, 2004. |
| 2002 | |
| [1] | Computational Intelligence for Testing .NET Components , In Proc. of Microsoft Summer Research Workshop, 2002. |