Automatic Program Repair: mining for repairbib (EMSE) explainable patchesbib (BotSE) human-competitive patchesbib (Ubiquity) repair of Quixbugsbib (IBF) deep learning for repairbib (SANER) formatting repairbib benchmark for repairbib (SANER) manual patch analysis is error-pronebib CRF for repairbib overfitting detectionbib repair of integer overflowbib (TSE) seq2seq learning for repairbib (TSE) repair from bug reportsbib (FSE) generate-and-validate design spacebib (JSS) living reviewbib repairnator, program repair bot for Travisbib (ICSE-SEIP) 8935 Patches for Defects4Jbib (SSBSE) test generation for repairbib (EMSE) similarity for repairbib patch generation in productionbib (ICSE-NIER) survey on automatic repairbib (ACM CSUR) repair of conditions with Nopolbib (TSE) automatic repair of defects4jbib (EMSE) NpeFix program repair for null pointersbib (SANER) Astor repair frameworkbib (ISSTA-TOOL) dynamic synthesis for repairbib infinite loop repairbib common repair actionsbib (EMSE) essay on automatic repairbib (ICSE) redundancy for repairbib (ICSE-NIER)
Program Hardening & Chaos Engineering: failure-oblivious computing + fault injectionbib (ISSRE) self-healing proxybib (STVR) chaos for dockerbib application level chaos engineeringbib (arXiv) failure-oblivious search spacebib (ICST) self-healing proxybib (ISSRE) correctness attractionbib (EMSE) antifragile softwarebib (SdR) patch generation in productionbib (ICSE-NIER) bandit algorithm for runtime repairbib self-healing appsbib (ICSE-NIER) resilience against exceptionsbib (IST)
Artificial Intelligence for Software Engineering: embeddings on codebib deep learning for repairbib (SANER) CRF for repairbib overfitting detectionbib seq2seq learning for repairbib (TSE) CodRep competitionbib active-learning for fault localizationbib (SCAM) bandit algorithm for runtime repairbib recommending buggy appsbib (MobileSoft) machine learning for fault localizationbib (ICSME) bug detection with data-miningbib (TOSEM) mining FAQsbib (ICSE) NLP for code queryingbib (ASE) synthesizing API documentationbib (MSR) intelligent code completionbib (FSE)
Testing: test amplificationbib (EMSE) survey on test amplificationbib (JSS) test generation in CIbib (arXiv) test suggestionsbib extreme mutation with Descartesbib (ASE-Demo) pseudo-tested methodsbib (EMSE) automatic test suite refactoringbib (IST) test transformation for fault localizationbib (FSE)
Debugging: IB-based bug localizationbib trace comparisonbib (VMIL) tool impact on patchesbib (ISSTA) active-learning for fault localizationbib (SCAM) causality traces for NPEsbib (JSS) crash reproductionbib (FSE-NIER) machine learning for fault localizationbib (ICSME) test transformation for fault localizationbib (FSE) bug detection with data-miningbib (TOSEM)
Chronologically ordered
2020
- Superoptimization of WebAssembly Bytecode (), Technical report 2002.10213, arXiv, 2020.
- A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem (), Technical report 2001.07808, arXiv, 2020.
- FixMiner: Mining Relevant Fix Patterns for Automated Program Repair (), In Empirical Software Engineering Journal, Springer Verlag, 2020.
2019
- Characterizing the Usage, Evolution and Impact of Java Annotations in Practice (), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2019.
- Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities (), In SANER 2019 - 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2019.
- Repairnator patches programs automatically (), In Ubiquity, Association for Computing Machinery, volume July, 2019.
- Bears: An Extensible Java Bug Benchmark for Automatic Program Repair Studies (), In SANER 2019 - 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2019.
- Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy (), In Software Testing, Verification and Reliability, Wiley, volume 30, 2019.
- A Snowballing Literature Study on Test Amplification (), In Journal of Systems and Software, Elsevier, volume 157, 2019.
- Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects (), In Empirical Software Engineering, Springer Verlag, 2019.
- Automatic Observability for Dockerized Java Applications (), Technical report 1912.06914, arXiv, 2019.
- Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities (), Technical report 1912.02015, arXiv, 2019.
- Automated Classification of Overfitting Patches with Statically Extracted Code Features (), Technical report 1910.12057, arXiv, 2019.
- Scalable Comparison of JavaScript V8 Bytecode Traces (), In Proceedings of the SPLASH workshop on Virtual Machines and Language Implementations (VMIL), 2019.
- Automated Patch Assessment for Program Repair at Scale (), Technical report 1909.13694, arXiv, 2019.
- Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis (), Technical report 1909.04770, arXiv, 2019.
- The Strengths and Behavioral Quirks of Java Bytecode Decompilers (), In Proceedings of the 19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM ), 2019.
- Observability and Chaos Engineering on System Calls for Containerized Applications in Docker (), Technical report 1907.13039, arXiv, 2019.
- Learning the Relation between Code Features and Code Transforms with Structured Prediction (), Technical report 1907.09282, arXiv, 2019.
- iFixR: Bug Report driven Program Repair (), In Proceedings of the 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019.
- Explainable Software Bot Contributions: Case Study of Automated Bug Fixes (), In Proceedings of IEEE/ACM International Workshop on Bots in Software Engineering (BotSE), 2019.
- An Analysis of 35+ Million Jobs of Travis CI (), In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME), 2019.
- A Literature Study of Embeddings on Source Code (), Technical report 1904.03061, arXiv, 2019.
- Styler: Learning Formatting Conventions to Repair Checkstyle Errors (), Technical report 1904.01754, arXiv, 2019.
- An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration (), In Empirical Software Engineering Journal, Springer Verlag, 2019.
- D&C: A Divide-and-Conquer Approach to IR-based Bug Localization (), Technical report 1902.02703, arXiv, 2019.
- A Journey Among Java Neutral Program Variants (), In Journal Genetic Programming and Evolvable Machines, Springer, 2019.
- SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair (), In IEEE Transactions on Software Engineering, 2019.
- TripleAgent: Monitoring, Perturbation and Failure-obliviousness for Automated Resilience Improvement in Java Applications (), In Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2019.
- Coming: a Tool for Mining Change Pattern Instances from Git Commits (), In Proceedings of International Conference on Software Engineering, Tool track, 2019.
- IntRepair: Informed Repairing of Integer Overflows (), In IEEE Transactions on Software Engineering, 2019.
- A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM (), In IEEE Transactions on Software Engineering, 2019.
- A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark (), In Proceedings of SANER Workshops, 2019.
- Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg (), In Journal of Systems and Software, Elsevier, 2019.
- The open science initiative of the Empirical Software Engineering journal (), In Journal of Empirical Software Engineering, SPRINGER, volume 24, 2019.
2018
- Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System (), In Empirical Software Engineering, Springer Verlag, 2018.
- Descartes: a PITest engine to detect pseudo-tested methods - Tool Demonstration (), In ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, Tool demonstration track, ACM Press, 2018.
- A Comprehensive Study of Pseudo-tested Methods (), In Empirical Software Engineering, Springer Verlag, 2018.
- How to Design a Program Repair Bot? Insights from the Repairnator Project (), In 40th International Conference on Software Engineering, Track Software Engineering in Practice, 2018.
- Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J (), In SANER 2018 - 25th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering, 2018.
- The Living Review on Automated Program Repair (), Technical report hal-01956501, HAL, 2018.
- Editor's Note: Special Issue on Automatic Software Repair (), Springer Verlag, 2018.
- Ultra-Large Repair Search Space with Automatically Mined Templates: the Cardumen Mode of Astor (), In SSBSE 2018 - 10th International Symposium on Search-Based Software Engineering, volume 11036, 2018.
- Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy (), In Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), 2018.
- Exhaustive Exploration of the Failure-oblivious Computing Search Space (), In ICST 2018 - 11th IEEE Conference on Software Testing, Validation and Verification, 2018.
- Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (), In Empirical Software Engineering, Springer Verlag, volume 23, 2018.
- The Remarkable Role of Similarity in Redundancy-based Program Repair (), Technical report 1811.05703, arXiv, 2018.
- Human-competitive Patches in Automatic Program Repair with Repairnator (), Technical report 1810.05806, arXiv, 2018.
- The CodRep Machine Learning on Source Code Competition (), Technical report 1807.03200, arXiv, 2018.
2017
- Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs (), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, volume 43, 2017.
- The Patches of the Nopol Automatic Repair System on the Bugs of Defects4J version 1.1.0 (), Technical report hal-01480084, Université Lille 1 - Sciences et Technologies, 2017.
- A generative model for sparse, evolving digraphs (), In 6th International Conference on Complex Networks and their Applications, 2017.
- A Large-scale Study of Call Graph-based Impact Prediction using Mutation Testing (), In Software Quality Journal, Springer Verlag, volume 25, 2017.
- Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset (), In Empirical Software Engineering, Springer Verlag, volume 22, 2017.
- Impact of Tool Support in Patch Construction (), In 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017.
- App Store 2.0: From Crowdsourced Information to Actionable Feedback in Mobile Ecosystems (), In IEEE Software, Institute of Electrical and Electronics Engineers, volume 34, 2017.
- Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming (), In IEEE International Conference on Software Analysis, Evolution and Reengineering, 2017.
- Production-Driven Patch Generation (), In Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, 2017.
- Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness (), Technical report 1703.00198, Arxiv, 2017.
- Automatic Software Repair: a Bibliography (), In ACM Computing Surveys, Association for Computing Machinery, volume 51, 2017.
- Principles of Antifragile Software (), In Proceedings of the Salon des Refusés, 2017.
2016
- B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (), In Information and Software Technology, Elsevier, volume 76, 2016.
- Mutation-Based Graph Inference for Fault Localization (), In International Working Conference on Source Code Analysis and Manipulation, 2016.
- A Learning Algorithm for Change Impact Prediction (), In 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2016.
- On Oracles for Automated Diagnosis and Repair of Software Bugs (), Habilitation à diriger des recherches, 2016.
- ASTOR: A Program Repair Library for Java (), In Proceedings of ISSTA, Demonstration Track, 2016.
- BanditRepair: Speculative Exploration of Runtime Patches (), Technical report 1603.07631, Arxiv, 2016.
- DynaMoth: Dynamic Code Synthesis for Automatic Program Repair (), In 11th International Workshop in Automation of Software Test, 2016.
- IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs (), Technical report hal-01272126, Universite Lille 1, 2016.
- Production-Driven Patch Generation and Validation (), Technical report 1609.06848, Arxiv, 2016.
- Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces (), In Journal of Systems and Software, Elsevier, volume 122, 2016.
2015
- Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help (), In ESEC/FSE 2015 - 10th Joint Meeting on Foundations of Software Engineering, NIER Track, 2015.
- Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench (), In Software and Systems Modeling, Springer Verlag, volume 14, 2015.
- Spoon: A Library for Implementing Analyses and Transformations of Java Source Code (), In Software: Practice and Experience, Wiley, volume 46, 2015.
- An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis (), In Tenth IEEE/ACM International Workshop on Automation of Software Test, 2015.
- Software that Learns from its Own Failures (), Technical report 1502.00821, Arxiv, 2015.
- A Recommender System of Buggy App Checkers for App Store Moderators (), In 2nd ACM International Conference on Mobile Software Engineering and Systems, IEEE, 2015.
- When App Stores Listen to the Crowd to Fight Bugs in the Wild (), In 37th International Conference on Software Engineering (ICSE), track on New Ideas and Emerging Results (NIER), IEEE, 2015.
- Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset (), Technical report 1505.07002, Arxiv, 2015.
- NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java (), Technical report 1512.07423, Arxiv, 2015.
- Casper: Debugging Null Dereferences with Dynamic Causality Traces (), Technical report hal-01113988, Inria Lille, 2015.
- Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions (), In Information and Software Technology, Elsevier, volume 57, 2015.
- Dynamic Analysis can be Improved with Automatic Test Suite Refactoring (), Technical report 1506.01883, Arxiv, 2015.
- The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond (), In ACM Computing Surveys, Association for Computing Machinery, volume 48, 2015.
- Multitier diversification in Web-based software applications (), In IEEE Software, Institute of Electrical and Electronics Engineers, volume 32, 2015.
- Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing (), In Empirical Software Engineering, Springer Verlag, volume 20, 2015.
- Automatic Repair of Infinite Loops (), Technical report hal-01144026, University of Lille, 2015.
- DSpot: Test Amplification for Automatic Assessment of Computational Diversity (), Technical report 1503.05807, Arxiv, 2015.
- Automatic Software Diversity in the Light of Test Suites (), Technical report 1509.00144, Arxiv, 2015.
2014
- Learning to Combine Multiple Ranking Metrics for Fault Localization (), In ICSME - 30th International Conference on Software Maintenance and Evolution, 2014.
- A Generative Model of Software Dependency Graphs to Better Understand Software Evolution (), Technical report hal-01078716, Inria, 2014.
- Challenging Analytical Knowledge On Exception-Handling: An Empirical Study of 32 Java Software Packages (), Technical report hal-01093908, Laboratoire d'Informatique Fondamentale de Lille, 2014.
- Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow (), Technical report hal-00987395, Université Lille 1 - Sciences et Technologies, 2014.
- Analysis and Exploitation of Natural Software Diversity: The Case of API Usages (), Technical report hal-01095501, Inria, 2014.
- ASTOR: Evolutionary Automatic Software Repair for Java (), Technical report hal-01075976, Inria, 2014.
- Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis (), Technical report hal-01075938, Inria, 2014.
- Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing (), In International Conference on Software Testing, Verification and Validation Workshops, 2014.
- Fine-grained and Accurate Source Code Differencing (), In Proceedings of the International Conference on Automated Software Engineering, 2014.
- On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (), In ICSME - 30th IEEE International Conference on Software Maintenance and Evolution, 2014.
- DIVERSIFY: Ecology-inspired software evolution for diversity emergence (), In Proceedings of IEEE CSMR-WCRE, IEEE, 2014.
- Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android (), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, volume 40, 2014.
- Test Case Purification for Improving Fault Localization (), In FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2014.
- A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair (), In International Conference on Software Engineering, 2014.
- Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches (), In ICSE - 36th IEEE International Conference on Software Engineering - New Ideas and Emerging Results Track, 2014.
- Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (), In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014.
- Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants (), In Proceedings of the International Symposium on Software Testing and Analysis, 2014.
2013
- Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair (), Technical report Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics, 2013.
- An Approach for Discovering Traceability Links between Regulatory Documents and Source Code Through User-Interface Labels (), Technical report hal-00958146, Université Lille 1 - Sciences et Technologies, 2013.
- Automatically Extracting Instances of Code Change Patterns with AST Analysis (), In ICSM - 29th IEEE International Conference on Software Maintenance, 2013.
- Reasoning and Improving on Software Resilience against Unanticipated Exceptions (), Technical report hal-00922937, Université Lille 1 - Sciences et Technologies, 2013.
- Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions (), In Software: Practice and Experience, Wiley, volume 45, 2013.
- Detecting Missing Method Calls as Violations of the Majority Rule (), In ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, volume 22, 2013.
- Automated Measurement of Models of Requirements (), In Software Quality Journal, Springer Verlag, volume 21, 2013.
- Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software (), In International Conference on Source Code Analysis and Manipulation (SCAM'2013), 2013.
2012
- Improving privacy on android smartphones through in-vivo bytecode instrumentation (), Technical report arXiv:1208.4536, University of Luxembourg, 2012.
- In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments (), Technical report 1208.4536, arXiv, 2012.
- Towards Ecology Inspired Software Engineering (), Technical report 1205.1102, arXiv, 2012.
- XSS-FP: Browser Fingerprinting using HTML Parser Quirks (), Technical report 12888, SnT, 2012.
- CVS-Vintage: A Dataset of 14 CVS Repositories of Java Software (), Technical report hal-00769121, HAL, 2012.
- What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation (), In Empirical Software Engineering, Springer Verlag, volume 17, 2012.
- Mining Repair Actions for Guiding Automated Program Fixing (), Technical report hal-01080299, Inria, 2012.
- Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge (), In ICSE - 34th International Conference on Software Engineering, 2012.
- Towards Ecology-Inspired Software Engineering (), Technical report RR-7952, INRIA, 2012.
- Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot (), In ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis, 2012.
- Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (), In IEEE/ACM International Conference On Automated Software Engineering, 2012.
2011
- A Natural Language Interface for Code Search (), Technical report hal-01094267, TU Darmstadt, 2011.
- Model-driven Generative Development of Measurement Software (), In Software and Systems Modeling, Springer Verlag, volume 10, 2011.
- Querying Source Code with Natural Language (), In 26th IEEE/ACM International Conference On Automated Software Engineering, 2011.
2010
- Detecting Missing Method Calls in Object-Oriented Software (), In Proceedings of the 24th European Conference on Object-Oriented Programming, 2010.
- Model-driven Architecture of a Maritime Surveillance System Simulator (), In Systems Engineering, Wiley, volume 13, 2010.
- Model-driven Engineering of Machine Executable Code (), In Proceedings of the 6th European Conference on Modelling Foundations and Applications, 2010.
- Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages (), In Proceedings of the AOSD Workshops, 2010.
- IDE 2.0: Collective Intelligence in Software Development (), In Proceedings of the 2010 FSE/SDP Workshop on the Future of Software Engineering Research, 2010.
- Mining Subclassing Directives to Improve Framework Reuse (), In Proceedings of the 7th IEEE Working Conference on Mining Software Repositories, 2010.
2009
- A Definition of Abstraction Level for Metamodels (), In 7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009.
- Untangling Crosscutting Concerns in Domain-specific Languages with Domain-specific Join Points (), In Proceedings of the AOSD'09 Workshops, 2009.
- Learning from Examples to Improve Code Completion Systems (), In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering, 2009.
2008
- La mesure des modèles par les modèles: une approche générative (), PhD thesis, Université Rennes 1, 2008.
- A Model-driven Measurement Approach (), In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008.
- Model-driven Simulation of a Maritime Surveillance System (), In 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), 2008.
- Measuring Models (), Chapter in Model-Driven Software Development: Integrating Quality Assurance, 2008.
2007
- Counts count (), In Proceedings of the MoDELS'07 Workshops, 2007.
2006
- Nonlocal Estimation of Manifold Structure (), In Neural Computation, Massachusetts Institute of Technology Press (MIT Press), volume 18, 2006.
2004
- Non-Local Manifold Tangent Learning (), In Advances in Neural Information Processing Systems, volume 17, 2004.
- Manifolds: beyond locality (), Master's thesis, Université de Technologie de Compiègne, 2004.