Automatic Program Repair: deep learning for repairbib (SANER) generate-and-validate design spacebib (JSS) benchmark for repairbib (SANER) test generation for repairbib (EMSE) repairnator, program repair bot for Travisbib (ICSE-SEIP) 8935 Patches for Defects4Jbib (SSBSE) automatic repair of defects4jbib (EMSE) survey on automatic repairbib (ACM CSUR) patch generation in productionbib (ICSE-NIER) NpeFix program repair for null pointersbib (SANER) repair of conditions with Nopolbib (TSE) dynamic synthesis for repairbib (AST@ICSE) Astor repair frameworkbib (ISSTA-TOOL) common repair actionsbib (EMSE) redundancy for repairbib (ICSE-NIER) essay on automatic repairbib (ICSE) similarity for repairbib (arXiv) repair of Quixbugsbib (arXiv) seq2seq learning for repairbib (arXiv) human-competitive patchesbib (arXiv) mining for repairbib (arXiv) repair of integer overflowbib (arXiv) living reviewbib (paper) infinite loop repairbib (TechRep)
Program Hardening & Antifragile Software: self-healing proxybib (ISSRE) correctness attractionbib (EMSE) failure-oblivious search spacebib (ICST) patch generation in productionbib (ICSE-NIER) antifragile softwarebib (SdR) self-healing appsbib (ICSE-NIER) resilience against exceptionsbib (IST) failure-oblivious computing & chaosbib (arXiv) application level chaos engineeringbib (arXiv) bandit algorithm for runtime repairbib (TechRep)
Artificial Intelligence for Software Engineering: deep learning for repairbib (SANER) active-learning for fault localizationbib (SCAM) 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) CodRepbib (arXiv) bandit algorithm for runtime repairbib (TechRep)
Testing: pseudo-tested methodsbib (EMSE) extreme mutation with Descartesbib (ASE-Demo) test amplificationbib (EMSE) automatic test suite refactoringbib (IST) test transformation for fault localizationbib (FSE) test generation in CIbib (arXiv) survey on test amplificationbib (arXiv)
Debugging: 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) IB-based bug localizationbib (arXiv)
Chronologically ordered
128 results2019
- 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.
- 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.
- An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration (), Technical report 1902.08482, arXiv, 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 (), Technical report 1901.02533, arXiv, 2019.
- Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg (), In Journal of Systems and Software, Elsevier, 2019.
2018
- The Living Review on Automated Program Repair (), Technical report hal-01956501, HAL, 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.
- 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.
- 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.
- Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (), In Empirical Software Engineering, Springer Verlag, volume 23, 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.
- Exhaustive Exploration of the Failure-oblivious Computing Search Space (), In ICST 2018 - 11th IEEE Conference on Software Testing, Validation and Verification, 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.
- 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.
- A Comprehensive Study of Pseudo-tested Methods (), In Empirical Software Engineering, Springer Verlag, 2018.
- Editor's Note: Special Issue on Automatic Software Repair (), Springer Verlag, 2018.
- Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects (), In Empirical Software Engineering, Springer Verlag, 2018.
- SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair (), Technical report 1901.01808, arXiv, 2018.
- TripleAgent: Monitoring, Perturbation And Failure-obliviousness for Automated Resilience Improvement in Java Applications (), Technical report 1812.10706, arXiv, 2018.
- The Remarkable Role of Similarity in Redundancy-based Program Repair (), Technical report 1811.05703, arXiv, 2018.
- Coming: a Tool for Mining Change Pattern Instances from Git Commits (), Technical report 1810.08532, arXiv, 2018.
- Human-competitive Patches in Automatic Program Repair with Repairnator (), Technical report 1810.05806, arXiv, 2018.
- FixMiner: Mining Relevant Fix Patterns for Automated Program Repair (), Technical report 1810.01791, arXiv, 2018.
- IntRepair: Informed Fixing of Integer Overflows (), Technical report 1807.05092, arXiv, 2018.
- The CodRep Machine Learning on Source Code Competition (), Technical report 1807.03200, arXiv, 2018.
- A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM (), Technical report 1805.05246, arXiv, 2018.
- A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark (), Technical report 1805.03454, arXiv, 2018.
- Characterizing the Usage and Impact of Java Annotations Over 1000+ Projects (), Technical report 1805.01965, arXiv, 2018.
2017
- The Emerging Field of Test Amplification: A Survey (), Technical report 1705.10692, Arxiv, 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.
- Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness (), Technical report 1703.00198, Arxiv, 2017.
- Impact of Tool Support in Patch Construction (), In 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017.
- Production-Driven Patch Generation (), In Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, 2017.
- App Store 2.0: From Crowd 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.
- 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.
- Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset (), In Empirical Software Engineering, Springer Verlag, volume 22, 2017.
- A Snowballing Literature Study on Test Amplification (), Technical report 1705.10692, 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
- Mutation-Based Graph Inference for Fault Localization (), In International Working Conference on Source Code Analysis and Manipulation, 2016.
- Production-Driven Patch Generation and Validation (), Technical report 1609.06848, Arxiv, 2016.
- A Learning Algorithm for Change Impact Prediction (), In 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2016.
- DynaMoth: Dynamic Code Synthesis for Automatic Program Repair (), In 11th International Workshop in Automation of Software Test, 2016.
- On Oracles for Automated Diagnosis and Repair of Software Bugs (), Habilitation à diriger des recherches, 2016.
- BanditRepair: Speculative Exploration of Runtime Patches (), Technical report 1603.07631, Arxiv, 2016.
- B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (), In Information and Software Technology, Elsevier, volume 76, 2016.
- ASTOR: A Program Repair Library for Java (), In Proceedings of ISSTA, Demonstration Track, 2016.
- IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs (), Technical report hal-01272126, Universite Lille 1, 2016.
- Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces (), In Journal of Systems and Software, Elsevier, volume 122, 2016.
2015
- Automatic Software Diversity in the Light of Test Suites (), Technical report 1509.00144, Arxiv, 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.
- The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond (), In ACM Computing Surveys, Association for Computing Machinery, volume 48, 2015.
- Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset (), Technical report 1505.07002, Arxiv, 2015.
- Dynamic Analysis can be Improved with Automatic Test Suite Refactoring (), Technical report 1506.01883, Arxiv, 2015.
- DSpot: Test Amplification for Automatic Assessment of Computational Diversity (), Technical report 1503.05807, Arxiv, 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.
- A Recommender System of Buggy App Checkers for App Store Moderators (), In 2nd ACM International Conference on Mobile Software Engineering and Systems, IEEE, 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.
- Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions (), In Information and Software Technology, Elsevier, volume 57, 2015.
- Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench (), In Software & 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.
- Software that Learns from its Own Failures (), Technical report 1502.00821, 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.
- Multi-tier 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.
2014
- Test Case Purification for Improving Fault Localization (), In FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of 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.
- Learning to Combine Multiple Ranking Metrics for Fault Localization (), In ICSME - 30th International Conference on Software Maintenance and Evolution, 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.
- 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.
- DIVERSIFY - Ecology-inspired software evolution for diversity emergence (), In Proceedings of IEEE CSMR-WCRE, IEEE, 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.
- 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.
- 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
- 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.
- Automatically Extracting Instances of Code Change Patterns with AST Analysis (), In ICSM - 29th IEEE International Conference on Software Maintenance, 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.
- 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.
2012
- CVS-Vintage: A Dataset of 14 CVS Repositories of Java Software (), Technical report hal-00769121, HAL, 2012.
- XSS-FP: Browser Fingerprinting using HTML Parser Quirks (), Technical report 12888, SnT, 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.
- Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge (), In ICSE - 34th International Conference on Software Engineering, 2012.
- Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot (), In ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis, 2012.
- Towards Ecology-Inspired Software Engineering (), Technical report RR-7952, INRIA, 2012.
- Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation (), Technical report arXiv:1208.4536, University of Luxembourg, 2012.
- Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (), Technical report hal-00700074, SnT, 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.
- 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.
2011
- Querying Source Code with Natural Language (), In 26th IEEE/ACM International Conference On Automated Software Engineering, 2011.
- A Natural Language Interface for Code Search (), Technical report hal-01094267, TU Darmstadt, 2011.
- Model-driven Generative Development of Measurement Software (), In Software & Systems Modeling, Springer Verlag, volume 10, 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
- Manifolds: beyond locality (), Master's thesis, Université de Technologie de Compiègne, 2004.
- Non-Local Manifold Tangent Learning (), In Advances in Neural Information Processing Systems, volume 17, 2004.