Books
Book Chapters
| 2009 | |
| [1] | Testing Model Transformations: A case for Test Generation from Input Domain Models , Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009. |
Refereed Articles
| 2024 | |
| [75] | WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly , In Computers & Security, volume , 2024. |
| 2023 | |
| [74] | Coverage-Based Debloating for Java Bytecode , In ACM Trans. on Software Engineering and Methodology, 2023. |
| [73] | Spork: Structured Merge for Java with Formatting Preservation , In IEEE Transactions on Software Engineering, volume 49, 2023. |
| [72] | Challenges of Producing Software Bill Of Materials for Java , In IEEE Security & Privacy magazine, volume 21, 2023. |
| [71] | Chaos Engineering of Ethereum Blockchain Clients , In ACM Distributed Ledger Technologies, volume , 2023. |
| [70] | Highly Available Blockchain Nodes With N-Version Design , In IEEE Transactions on Dependable and Secure Computing, volume , 2023. |
| [69] | WebAssembly diversification for malware evasion , In Computers & Security, volume 131, 2023. |
| 2022 | |
| [68] | Maximizing Error Injection Realism for Chaos Engineering with System Calls , In IEEE Transactions on Dependable and Secure Computing, volume 19, 2022. |
| [67] | Production Monitoring to Improve Test Suites , In IEEE Transactions on Reliability, volume 71, 2022. |
| [66] | The Multibillion Dollar Software Supply Chain of Ethereum , In IEEE Computer, 2022. |
| [65] | API Beauty is in the eye of the Clients: 2.2 Million Maven Dependencies reveal the Spectrum of Client-API Usages , In Journal of Systems and Software, volume 184, 2022. |
| [64] | Long Live Software Easter Eggs , In ACM Queue, volume 20, 2022. |
| 2021 | |
| [63] | A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM , In IEEE Transactions on Software Engineering, IEEE, volume 47, 2021. |
| [62] | A comprehensive study of bloated dependencies in the Maven ecosystem , In Empirical Software Engineering, volume 26, 2021. |
| [61] | Observability and chaos engineering on system calls for containerized applications in docker , In Future Generation Computer Systems, volume 122, 2021. |
| [60] | Interpretation of swedish sign language using convolutional neural networks and transfer learning , In SN Computer Science, volume 2, 2021. |
| [59] | the sound of software tranquility , In Ruukku, volume 15, 2021. |
| [58] | Science-changing Code , In Blog@CACM, Association for Computing Machinery (ACM), 2021. |
| [57] | Testing beyond coverage , In Increment, Stripe, 2021. |
| [56] | A Software Repair Bot based on Continual Learning , In IEEE Software, volume , 2021. |
| [55] | Dynamic Analysis in the Browser , In Blog@CACM, Association for Computing Machinery (ACM), 2021. |
| [54] | Constraint-based Diversification of JOP Gadgets , In Journal of Artificial Intelligence Research, volume 72, 2021. |
| 2020 | |
| [53] | Browser Fingerprinting: A survey , In ACM Transactions on the Web, volume 14, 2020. |
| [52] | An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration , In Empirical Software Engineering, volume 25, 2020. |
| [51] | Leveraging metamorphic testing to automatically detect inconsistencies in code generator families , In Software Testing, Verification and Reliability, volume 30, 2020. |
| [50] | Java decompiler diversity and its application to meta-decompilation , In Journal of Systems and Software, volume 168, 2020. |
| 2019 | |
| [49] | Repairnator Patches Programs Automatically , In ACM Ubiquity, volume July, 2019. |
| [48] | Advanced and efficient execution trace management for executable domain-specific modeling languages , In Journal of Software and Systems Modeling, volume 18, 2019. |
| [47] | A Comprehensive Study of Pseudo-tested Methods , In Empirical Software Engineering, volume 24, 2019. |
| [46] | A Journey Among Java Neutral Program Variants , In Genetic Programming and Evolvable Machines, volume 20, 2019. |
| [45] | Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack , In Empirical Software Engineering, volume 24, 2019. |
| [44] | A snowballing literature study on test amplification , In Journal of Systems and Software, volume 157, 2019. |
| [43] | Modeling Variability in the Video Domain: Language and Experience Report , In Software Quality Journal, Springer Verlag, volume 27, 2019. |
| 2018 | |
| [42] | Omniscient Debugging for Executable DSLs , In Journal of Systems and Software, volume 137, 2018. |
| [41] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation , In Empirical Software Engineering, Springer Verlag, volume 23, 2018. |
| [40] | User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners , In Information and Software Technology, volume 102, 2018. |
| [39] | Automatic Quality Assurance and Release (Dagstuhl Seminar 18122) , In Dagstuhl Reports (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 8, 2018. |
| 2017 | |
| [38] | Reverse Engineering Language Product Lines from Existing DSL Variants , In Journal of Systems and Software, volume 133, 2017. |
| [37] | Online Genetic Improvement on the java virtual machine with ECSELR , In Genetic Programming and Evolvable Machines, volume 18, 2017. |
| [36] | Automated Extraction of Product Comparison Matrices From Informal Product Descriptions , In Journal of Systems and Software, volume 124, 2017. |
| 2016 | |
| [35] | B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis , In Information and Software Technology, volume 76, 2016. |
| [34] | Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming , In Information and Software Technology, volume 71, 2016. |
| [33] | ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems , In Journal of Systems and Software, volume 122, 2016. |
| [32] | Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study , In Empirical Software Engineering, Springer Verlag (Germany), volume 21, 2016. |
| 2015 | |
| [31] | An analysis of metamodeling practices for MOF and OCL , In Computer Languages, Systems and Structures, volume 41, 2015. |
| [30] | Using Slicing to Improve the Performance of Model Invariant Checking , In Journal of Object Technology, volume 14, 2015. |
| [29] | Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels , In Information and Software Technology, volume 62, 2015. |
| [28] | Kompren: Modeling and Generating Model Slicers , In Journal of Software and Systems Modeling, volume 14, 2015. |
| [27] | The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond , In ACM Computing Survey, volume 48, 2015. |
| [26] | Multitier diversification in Web-based software applications , In IEEE Software, volume 32, 2015. |
| [25] | Guest Editorial for Special Section on ICST'13 , In Software Testing, Verification and Validation, volume 25, 2015. |
| [24] | Towards an Automation of the Mutation Analysis Dedicated to Model Transformation , In Software Testing, Verification and Reliability, volume 25, 2015. |
| 2014 | |
| [23] | Generating Counterexamples of Model-based Software Product Lines , In Software Tools for Technology Transfer (STTT), Springer, 2014. |
| [22] | Globalizing Modeling Languages , In IEEE Computer, volume 47, 2014. |
| [21] | Model-Based Testing of Global Properties on Large-Scale Distributed Systems , In Information and Software Technology, volume 56, 2014. |
| 2013 | |
| [20] | Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation , In Journal of Software Maintenance and Evolution: Research and Practice, volume 25, 2013. |
| [19] | Usage and Testability of AOP: an empirical study of AspectJ , In Information and Software Technology, volume 55, 2013. |
| [18] | SOA Antipatterns: an Approach for their Specification and Detection , In International Journal of Cooperative Information Systems, volume 22, 2013. |
| [17] | Automated Measurement of Models of Requirements , In Software Quality Journal, Springer, volume 21, 2013. |
| 2012 | |
| [16] | Reusable model transformations , In Journal of Software and Systems Modeling, Springer, volume 11, 2012. |
| [15] | Pairwise Testing for Software Product Lines: A Comparison of Two Approaches , In Software Quality Journal, Springer, volume 20, 2012. |
| [14] | Modeling Modeling Modeling , In Journal of Software and Systems Modeling, Springer-Verlag, volume 11, 2012. |
| 2011 | |
| [13] | An Approach for Testing Pointcut Descriptors in AspectJ , In Software, Testing, Verification and Reliability journal, volume 21, 2011. |
| [12] | Model-driven Generative Development of Measurement Software , In Journal of Software and Systems Modeling, Springer, volume 10, 2011. |
| [11] | Guest Editorial for Special Section on Mutation Testing , In Information and Software Technology, volume 53, 2011. |
| 2010 | |
| [10] | Towards Domain-specific Model Editors with Automatic Model Completion , In SIMULATION, volume 86, 2010. |
| [9] | Construction de tests qualifiés de transformation de modèles , In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. |
| [8] | Barriers to Systematic Model Transformation Testing , In Communications of the ACM, ACM, volume 53, 2010. |
| 2009 | |
| [7] | Qualifying input test data for model transformations , In Journal of Software and Systems Modeling, volume 8, 2009. |
| 2006 | |
| [6] | Design by Contract to improve Software Vigilance , In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. |
| 2005 | |
| [5] | Measuring Design Testability of a UML Class Diagram , In Information and Software Technology, volume 47, 2005. |
| [4] | Automatic Test Case Optimization: A Bacteriologic Algorithm , In IEEE Software, volume 22, 2005. |
| [3] | From genetic to bacteriological algorithms for mutation-based testing , In Software Testing Verification and Reliability, volume 15, 2005. |
| 2003 | |
| [2] | From diagnosis to diagnosability: axiomatization, measurement and application , In Journal of Systems and Software, volume 65, 2003. |
| [1] | Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects , In . |
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] | Impact of Footprinting on Model Quality , In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. |
| [28] | Defining and Retrieving Themes in Nuclear Regulations , In Proc. of the Requirements Engineering and Law workshop (RELAW'12) at RE'12, 2012. |
| [27] | 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. |
| [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] | KerTheme: Testing Aspect Oriented Models , In Proc. of the IMDDMDT workshop at ECMDA'06., 2006. |
| [11] | Testing Executable Themes , In Proc. of the MDSD workshop at ECOOP 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] | Exploring the Relationship between Model Composition and Model Transformation , In Proc. of the AOM Workshop at MODELS'05, 2005. |
| [6] | Report on the 2nd Workshop on Model Development and Validation: MoDeVa. , In Proc. of the Satellite Events at the MoDELS'05, 2005. |
| [5] | Model Composition - A Signature-Based Approach , In Proc. of the AOM Workshop at MODELS'05, 2005. |
| [4] | A Taxonomy of Faults for UML Designs , In Proc. of the MoDeVa Workshop at MODELS'05, 2005. |
| 2004 | |
| [3] | Optimal Allocation of Testing Resources , In Proc. of the Modeva workshop at ISSRE'04, 2004. |
| [2] | MDE and Validation: Testing Model Transformations , 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. |
Other Publications