Bugs & repair (working papers, recent results under review): self-healing proxy (Arxiv) survey on test amplification (Arxiv) deep learning for repair (Arxiv) test generation for repair (Arxiv)
Bugs & repair (all): repairnator, program repair bot for Travis (ICSE-SEIP) failure-oblivious search space (ICST) deep study of Defects4J (SANER) tool impact on patches (ISSTA) metaprogramming for repair (SANER) repair of conditions with Nopol (TSE) automatic repair of defects4j (EmSE) patch generation in production (ICSE-NIER) correctness attraction (EMSE) survey on automatic repair (ACM CSUR) antifragile software (SdR) mutants for fault localization (SCAM) dynamic synthesis for repair (AST@ICSE) automatic test suite refactoring for repair (IST) repair framework for Java (ISSTA Demo) causality traces for NPEs (JSS) crash reproduction (FSE-NIER) self-healing app stores (ICSE-NIER) resilience against exceptions (IST) common repair actions (EmSE) test transformation for fault localization (FSE) machine learning for fault localization (ICSME) redundancy for repair (ICSE-NIER) essay on automatic repair (ICSE) bug detection with statistical oracles (TOSEM) infinite loop repair (TechRep)
Artificial Intelligence for Software Engineering: recommending buggy apps (MobileSoft) bug detection with statistical oracles (TOSEM) mining FAQs (ICSE) NLP for code querying (ASE) subclassing directives (MSR) code completion (FSE)
Software Diversity: survey on software diversity (CSUR) multi-tier software diversity (IEEESW) the Diversify project (CSMR) diversification with sosies (ISSTA) API usage diversity (SCAM)
Chronologically ordered:
101 results
| 2018 | |
| [ICSE-SEIP] | How to Design a Program Repair Bot? Insights from the Repairnator Project (), In ICSE 2018 - 40th International Conference on Software Engineering, Track Software Engineering in Practice (SEIP), 2018. |
| [ICST] | Exhaustive Exploration of the Failure-oblivious Computing Search Space (), In 11th IEEE Conference on Software Testing, Validation and Verification, 2018. |
| [Arxiv] | Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy (), Technical report hal-01746141, HAL, 2018. |
| [SANER] | Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J (), In 25th edition of IEEE International Conference on Software Analysis, Evolution and Reengineering, 2018. |
| 2017 | |
| [Complex Networks] | 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. |
| [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. |
| [ICSE-NIER] | Production-Driven Patch Generation (), In Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, 2017. |
| [EMSE] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (), In Empirical Software Engineering, Springer Verlag, 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. |
| [TechRep] | Production-Driven Patch Generation and Validation (), Technical report hal-01370709, HAL, 2016. |
| [RAISE@ICSE] | A Learning Algorithm for Change Impact Prediction (), In 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 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. |
| [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 Demo] | 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] | DSpot: Test Amplification for Automatic Assessment of Computational Diversity (), Technical report hal-01162219, HAL, 2015. |
| [TechRep] | Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset (), Technical report hal-01162221, HAL, 2015. |
| [TechRep] | Dynamic Analysis can be Improved with Automatic Test Suite Refactoring (), Technical report hal-01162220, HAL, 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. |
| [MobileSoft] | A Recommender System of Buggy App Checkers for App Store Moderators (), In 2nd ACM International Conference on Mobile Software Engineering and Systems (Danny Dig, Yael Dubinsky, eds.), IEEE, 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. |
| [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. |
| [ICSME] | Learning to Combine Multiple Ranking Metrics for Fault Localization (), In ICSME - 30th International Conference on Software Maintenance and Evolution, 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. |
| [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 (), Technical report hal-00987395, Université Lille 1 - Sciences et Technologies, 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. |
| [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 | |
| [ICSM] | Automatically Extracting Instances of Code Change Patterns with AST Analysis (), In ICSM - 29th IEEE International Conference on Software Maintenance, 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. |
| [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. |
| [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. |
