Automatic Program Repair: 8935 Patches for Defects4Jbib (SSBSE) repairnator, program repair bot for Travisbib (ICSE-SEIP) test generation for repairbib (EMSE) patch generation in productionbib (ICSE-NIER) NpeFix program repair for null pointersbib (SANER) repair of conditions with Nopolbib (TSE) automatic repair of defects4jbib (EMSE) survey on automatic repairbib (ACM CSUR) 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) deep learning for repairbib (arXiv) infinite loop repairbib (TechRep)
Self-healing & Antifragile Software: self-healing proxybib (ISSRE) failure-oblivious search spacebib (ICST) patch generation in productionbib (ICSE-NIER) self-healing app storesbib (IEEESW) correctness attractionbib (EMSE) antifragile softwarebib (SdR) self-healing appsbib (ICSE-NIER) resilience against exceptionsbib (IST)
Artificial Intelligence for Software Engineering: bug detection with data-miningbib (TOSEM) mining FAQsbib (ICSE) NLP for code queryingbib (ASE) synthesizing API documentationbib (MSR) intelligent code completionbib (FSE) deep learning for repairbib (arXiv) recommending buggy appsbib (MobileSoft)
Debugging: tool impact on patchesbib (ISSTA) active-learning for fault localizationbib (SCAM) causality traces for NPEsbib (JSS) crash reproductionbib (FSE-NIER) test transformation for fault localizationbib (FSE) machine learning for fault localizationbib (ICSME) bug detection with data-miningbib (TOSEM)
Testing: extreme mutation with Descartesbib (ASE-Demo) pseudo-tested methodsbib (EMSE) automatic test suite refactoringbib (IST) test transformation for fault localizationbib (FSE) survey on test amplificationbib (arXiv)
Chronologically ordered
117 results| 2018 | |
| [ISSRE] | 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. |
| [SSBSE] | 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. |
| [ASE-Demo] | Descartes: a PITest engine to detect pseudo-tested methods - tool demonstration (), In ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, ACM Press, 2018. |
| [ICSE-SEIP] | 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. |
| [ICST] | Exhaustive Exploration of the Failure-oblivious Computing Search Space (), In ICST 2018 - 11th IEEE Conference on Software Testing, Validation and Verification, 2018. |
| [SANER] | 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. |
| [EMSE] | 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. |
| [EMSE] | A Comprehensive Study of Pseudo-tested Methods (), In Empirical Software Engineering, Springer Verlag, 2018. |
| [arXiv] | Coming: a Tool for Mining Change Pattern Instances from Git Commits (), Technical report 1810.08532, arXiv, 2018. |
| [arXiv] | Human-competitive Patches in Automatic Program Repair with Repairnator (), Technical report 1810.05806, arXiv, 2018. |
| [arXiv] | FixMiner: Mining Relevant Fix Patterns for Automated Program Repair (), Technical report 1810.01791, arXiv, 2018. |
| [arXiv] | IntRepair: Informed Fixing of Integer Overflows (), Technical report 1807.05092, arXiv, 2018. |
| [arXiv] | The CodRep Machine Learning on Source Code Competition (), Technical report 1807.03200, arXiv, 2018. |
| [arXiv] | A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM (), Technical report 1805.05246, arXiv, 2018. |
| [arXiv] | A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark (), Technical report 1805.03454, arXiv, 2018. |
| [arXiv] | Characterizing the Usage and Impact of Java Annotations Over 1000+ Projects (), Technical report 1805.01965, arXiv, 2018. |
| [arXiv] | Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg (), Technical report 1802.03365, arXiv, 2018. |
| 2017 | |
| [ComplexNetworks] | A generative model for sparse, evolving digraphs (), In 6th International Conference on Complex Networks and their Applications, 2017. |
| [arXiv] | The Emerging Field of Test Amplification: A Survey (), Technical report 1705.10692, Arxiv, 2017. |
| [SQJ] | A Large-scale Study of Call Graph-based Impact Prediction using Mutation Testing (), In Software Quality Journal, Springer Verlag, volume 25, 2017. |
| [arXiv] | Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities (), Technical report 1707.04742, Arxiv, 2017. |
| [arXiv] | Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness (), Technical report 1703.00198, Arxiv, 2017. |
| [ISSTA] | Impact of Tool Support in Patch Construction (), In 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017. |
| [ICSE-NIER] | Production-Driven Patch Generation (), In Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, 2017. |
| [IEEESW] | 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. |
| [SANER] | Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming (), In IEEE International Conference on Software Analysis, Evolution and Reengineering, 2017. |
| [TSE] | 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. |
| [TechRep] | 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. |
| [EMSE] | Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset (), In Empirical Software Engineering, Springer Verlag, volume 22, 2017. |
| [EMSE] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (), In Empirical Software Engineering, Springer Verlag, volume 23, 2017. |
| [arXiv] | Open-ended Exploration of the Program Repair Search Space with Mined Templates: the Next 8935 Patches for Defects4J (), Technical report 1712.03854, arXiv, 2017. |
| [ACM CSUR] | Automatic Software Repair: a Bibliography (), In ACM Computing Surveys, Association for Computing Machinery, volume 51, 2017. |
| [SdR] | Principles of Antifragile Software (), In Proceedings of the Salon des Refusés 2017, 2017. |
| 2016 | |
| [SCAM] | Mutation-Based Graph Inference for Fault Localization (), In International Working Conference on Source Code Analysis and Manipulation, 2016. |
| [arXiv] | Production-Driven Patch Generation and Validation (), Technical report hal-01370709, HAL, 2016. |
| [AST@ICSE] | DynaMoth: Dynamic Code Synthesis for Automatic Program Repair (), In 11th International Workshop in Automation of Software Test (AST 2016), 2016. |
| [Habilitation] | On Oracles for Automated Diagnosis and Repair of Software Bugs (), Habilitation à diriger des recherches, 2016. |
| [RAISE@ICSE] | A Learning Algorithm for Change Impact Prediction (), In 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2016. |
| [TechRep] | BanditRepair: Speculative Exploration of Runtime Patches (), Technical report 1603.07631, Arxiv, 2016. |
| [IST] | B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (), In Information and Software Technology, Elsevier, volume 76, 2016. |
| [ISSTA-TOOL] | ASTOR: A Program Repair Library for Java (), In Proceedings of ISSTA, Demonstration Track, 2016. |
| [TechRep] | IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs (), Technical report hal-01272126, Universite Lille 1, 2016. |
| [JSS] | Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces (), In Journal of Systems and Software, Elsevier, volume 122, 2016. |
| 2015 | |
| [TechRep] | Automatic Software Diversity in the Light of Test Suites (), Technical report hal-01198384, HAL, 2015. |
| [FSE-NIER] | Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help (), In ESEC/FSE 2015 - 10th Joint Meeting on Foundations of Software Engineering, 2015. |
| [CSUR] | The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond (), In ACM Computing Surveys, Association for Computing Machinery, volume 48, 2015. |
| [TechRep] | Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset (), Technical report hal-01162221, HAL, 2015. |
| [TechRep] | DSpot: Test Amplification for Automatic Assessment of Computational Diversity (), Technical report hal-01162219, HAL, 2015. |
| [TechRep] | Dynamic Analysis can be Improved with Automatic Test Suite Refactoring (), Technical report hal-01162220, HAL, 2015. |
| [ICSE-NIER] | 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. |
| [AST@ICSE] | An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis (), In Tenth IEEE/ACM International Workshop on Automation of Software Test, 2015. |
| [IST] | Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions (), In Information and Software Technology, Elsevier, volume 57, 2015. |
| [SoSyM] | Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench (), In Software and Systems Modeling, Springer Verlag, volume 14, 2015. |
| [SPE] | Spoon: A Library for Implementing Analyses and Transformations of Java Source Code (), In Software: Practice and Experience, Wiley, volume 46, 2015. |
| [TechRep] | Software that Learns from its Own Failures (), Technical report hal-01576300, HAL, 2015. |
| [TechRep] | NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java (), Technical report hal-01251960, HAL, 2015. |
| [TechRep] | Casper: Debugging Null Dereferences with Dynamic Causality Traces (), Technical report hal-01113988, Inria Lille, 2015. |
| [IEEESW] | Multi-tier diversification in Web-based software applications (), In IEEE Software, Institute of Electrical and Electronics Engineers, volume 32, 2015. |
| [EMSE] | Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing (), In Empirical Software Engineering, Springer Verlag, volume 20, 2015. |
| [TechRep] | Automatic Repair of Infinite Loops (), Technical report hal-01144026, University of Lille, 2015. |
| 2014 | |
| [FSE] | Test Case Purification for Improving Fault Localization (), In FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2014. |
| [MobileSoft] | A Recommender System of Buggy App Checkers for App Store Moderators (), Technical report RR-8626, Inria Lille ; INRIA, 2014. |
| [ICSME] | On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (), In ICSME - 30th IEEE International Conference on Software Maintenance and Evolution, 2014. |
| [ICSME] | Learning to Combine Multiple Ranking Metrics for Fault Localization (), In ICSME - 30th International Conference on Software Maintenance and Evolution, 2014. |
| [ICSE-NIER] | 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, 2014. |
| [TSE] | 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. |
| [CSMR] | DIVERSIFY - Ecology-inspired software evolution for diversity emergence (), In Proceedings of IEEE CSMR-WCRE, IEEE, 2014. |
| [TechRep] | A Generative Model of Software Dependency Graphs to Better Understand Software Evolution (), Technical report hal-01078716, Inria, 2014. |
| [TechRep] | 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. |
| [TechRep] | Debugging with the Crowd: A Debug Recommendation System Based on StackOverflow (), ERCIM, 2014. |
| [TechRep] | Analysis and Exploitation of Natural Software Diversity: The Case of API Usages (), Technical report hal-01095501, Inria, 2014. |
| [TechRep] | ASTOR: Evolutionary Automatic Software Repair for Java (), Technical report hal-01075976, Inria, 2014. |
| [TechRep] | Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis (), Technical report hal-01075938, Inria, 2014. |
| [ICST workshop] | 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. |
| [ASE] | Fine-grained and Accurate Source Code Differencing (), In Proceedings of the International Conference on Automated Software Engineering, 2014. |
| [arXiv] | A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair (), Technical report 1408.2103, arXiv, 2014. |
| [ICSE] | 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. |
| [CSTVA] | 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 (CSTVA 2014), 2014. |
| [ISSTA] | Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants (), In Proceedings of the International Symposium on Software Testing and Analysis, 2014. |
| 2013 | |
| [SCAM] | 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. |
| [ICSM] | Automatically Extracting Instances of Code Change Patterns with AST Analysis (), In ICSM - 29th IEEE International Conference on Software Maintenance, 2013. |
| [Dagstuhl] | 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. |
| [TechRep] | 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. |
| [TechRep] | Reasoning and Improving on Software Resilience against Unanticipated Exceptions (), Technical report hal-00922937, Université Lille 1 - Sciences et Technologies, 2013. |
| [SPE] | Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions (), In Software: Practice and Experience, Wiley, volume 45, 2013. |
| [TOSEM] | 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. |
| [SQJ] | Automated Measurement of Models of Requirements (), In Software Quality Journal, Springer Verlag, volume 21, 2013. |
| 2012 | |
| [TechRep] | CVS-Vintage: A Dataset of 14 CVS Repositories of Java Software (), Technical report hal-00769121, HAL, 2012. |
| [TechRep] | XSS-FP: Browser Fingerprinting using HTML Parser Quirks (), Technical report 12888, SnT, 2012. |
| [ASE] | Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (), In IEEE/ACM International Conference On Automated Software Engineering, 2012. |
| [ICSE] | Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge (), In ICSE - 34th International Conference on Software Engineering, 2012. |
| [SOAP] | 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 (SOAP 2012), 2012. |
| [TechRep] | Towards Ecology-Inspired Software Engineering (), Technical report RR-7952, INRIA, 2012. |
| [TechRep] | Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation (), Technical report arXiv:1208.4536, University of Luxembourg, 2012. |
| [paper] | Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (), Technical report hal-00700074, SnT, 2012. |
| [EMSE] | What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation (), In Empirical Software Engineering, Springer Verlag, volume 17, 2012. |
| [TechRep] | Mining Repair Actions for Guiding Automated Program Fixing (), Technical report hal-01080299, Inria, 2012. |
| 2011 | |
| [ASE] | Querying Source Code with Natural Language (), In 26th IEEE/ACM International Conference On Automated Software Engineering, 2011. |
| [TechRep] | A Natural Language Interface for Code Search (), Technical report hal-01094267, TU Darmstadt, 2011. |
| [SoSyM] | Model-driven Generative Development of Measurement Software (), In Software and Systems Modeling (SoSyM), Springer, volume 10, 2011. |
| 2010 | |
| [ECOOP] | Detecting Missing Method Calls in Object-Oriented Software (), In Proceedings of the 24th European Conference on Object-Oriented Programming, 2010. |
| [SysEng] | Model-driven Architecture of a Maritime Surveillance System Simulator (), In Systems Engineering, Wiley, volume 13, 2010. |
| [ECMFA] | Model-driven Engineering of Machine Executable Code (), In Proceedings of the 6th European Conference on Modelling Foundations and Applications, 2010. |
| [C&V] | Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages (), In Proceedings of the First International Workshop on Composition and Variability, 2010. |
| [FoSER] | IDE 2.0: Collective Intelligence in Software Development (), In Proceedings of the 2010 FSE/SDP Workshop on the Future of Software Engineering Research, 2010. |
| [MSR] | Mining Subclassing Directives to Improve Framework Reuse (), In Proceedings of the 7th IEEE Working Conference on Mining Software Repositories, 2010. |
| 2009 | |
| [MBD] | A Definition of Abstraction Level for Metamodels (), In 7th IEEE Workshop on Model-Based Development for Computer Based systems (MBD'2009) colocated with ECBS'2009, 2009. |
| [DSAL] | Untangling Crosscutting Concerns in Domain-specific Languages with Domain-specific Join Points (), In Proceedings of the 4th Domain-Specific Aspect Languages Workshop co-located with AOSD'2009, 2009. |
| [FSE] | 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 | |
| [PhD] | La mesure des modèles par les modèles : une approche générative (), PhD thesis, Université Rennes 1, 2008. |
| [MODELS] | A Model-driven Measurement Approach (), In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008. |
| [ECMDA] | Model-driven Simulation of a Maritime Surveillance System (), In 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), 2008. |
| [chapter] | Measuring Models (), Chapter in Model-Driven Software Development: Integrating Quality Assurance, 2008. |
| 2007 | |
| [MSM] | Counts count (), In Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) co-located with MoDELS'2007, 2007. |
| 2006 | |
| [NECO] | Nonlocal Estimation of Manifold Structure (), In Neural Computation, Massachusetts Institute of Technology Press (MIT Press), volume 18, 2006. |
| 2004 | |
| [MSc] | Manifolds: beyond locality (), Master's thesis, Université de Technologie de Compiègne, 2004. |
| [NIPS] | Non-Local Manifold Tangent Learning (), In Advances in Neural Information Processing Systems, volume 17, 2004. |