Publications in monperrus.bib
98 results
2017
[2017] The Patches of the Nopol Automatic Repair System on the Bugs of Defects4J version 1.1.0 (, , , , and ), Technical report hal-01480084, Université Lille 1 - Sciences et Technologies, . [bibtex] [pdf]
[2017] App Store 2.0: From Crowd Information to Actionable Feedback in Mobile Ecosystems (, , , and ), In IEEE Software, . [bibtex] [pdf] [doi]
[2017] Production-Driven Patch Generation (, and ), In Proceedings of the 37th International Conference on Software Engineering (ICSE), track on New Ideas and Emerging Results, . [bibtex] [pdf] [doi]
[2017] Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming (, , and ), In IEEE International Conference on Software Analysis, Evolution and Reengineering, . [bibtex] [pdf] [doi] [citations]
[2017] Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness (, , , and ), Technical report 1703.00198, Arxiv, . [bibtex] [pdf] [citations]
[2017] Principles of Antifragile Software (), In Proceedings of the Salon des Refusés 2017, . [bibtex] [pdf] [citations]
2016
[2016] On Oracles for Automated Diagnosis and Repair of Software Bugs (), Habilitation à diriger des recherches, Université de Lille , . [bibtex] [pdf]
[2016] B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (, , , , and ), In Information and Software Technology, Elsevier, volume 76, . [bibtex] [pdf] [doi] [citations]
[2016] Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs (, , , , , , and ), In IEEE Transactions on Software Engineering, volume 43, . [bibtex] [pdf] [doi] [citations]
[2016] Mutation-Based Graph Inference for Fault Localization (, and ), In International Working Conference on Source Code Analysis and Manipulation, . [bibtex] [pdf] [doi]
[2016] A Large-scale Study of Call Graph-based Impact Prediction using Mutation Testing (, and ), In Software Quality Journal, Springer, . [bibtex] [pdf] [doi]
[2016] A Learning Algorithm for Change Impact Prediction (, , and ), In Proceedings of the International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE@ICSE), . [bibtex] [pdf] [doi]
[2016] ASTOR: A Program Repair Library for Java ( and ), In Proceedings of ISSTA, Demonstration Track, . [bibtex] [pdf] [doi] [citations]
[2016] Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset (, , , and ), In Springer Empirical Software Engineering, . [bibtex] [pdf] [doi] [citations]
[2016] BanditRepair: Speculative Exploration of Runtime Patches (, and ), Technical report 1603.07631, Arxiv, . [bibtex] [pdf]
[2016] DynaMoth: Dynamic Code Synthesis for Automatic Program Repair ( and ), In Proceedings of the 11th International Workshop in Automation of Software Test, . [bibtex] [pdf] [doi] [citations]
[2016] IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs ( and ), Technical report hal-01272126, Universite Lille 1, . [bibtex] [pdf] [citations]
[2016] Production-Driven Patch Generation and Validation (, and ), Technical report hal-01370709, HAL, . [bibtex] [pdf] [citations]
[2016] Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (, , and ), Technical report hal-01378523, HAL, . [bibtex] [pdf]
[2016] Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces (, , and ), In Journal of Systems and Software, Elsevier, volume 122, . [bibtex] [pdf] [doi] [citations]
2015
[2015] Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help (, and ), In Proceedings of ESEC/FSE, track on New Ideas and Emerging Results, . [bibtex] [pdf] [doi] [citations]
[2015] Spoon: A Library for Implementing Analyses and Transformations of Java Source Code (, , , and ), In Software: Practice and Experience, Wiley-Blackwell, volume 46, . [bibtex] [pdf] [doi] [citations]
[2015] TTC'2015 Case: Refactoring Java Programs using Spoon (, and ), In Proceedings of the 2015 Transformation Tool Contest (TTC), . [bibtex] [pdf] [citations]
[2015] An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis (, and ), In Tenth IEEE/ACM International Workshop on Automation of Software Test, . [bibtex] [pdf] [doi]
[2015] Software that Learns from its Own Failures (), Technical report 1502.00821, Arxiv, . [bibtex] [pdf] [citations]
[2015] Automated bug fixing: an interview with Westley Weimer, Department of Computer Science, University of Virginia and Martin Monperrus, University of Lille and INRIA, Lille, France (), ACM Ubiquity, . [bibtex] [pdf]
[2015] A Recommender System of Buggy App Checkers for App Store Moderators (, , and ), In Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, . [bibtex] [pdf] [doi] [citations]
[2015] When App Stores Listen to the Crowd to Fight Bugs in the Wild (, , and ), In Proceedings of the 37th International Conference on Software Engineering (ICSE), track on New Ideas and Emerging Results, . [bibtex] [pdf] [doi] [citations]
[2015] Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset (, , , and ), Technical report 1505.07002, Arxiv, . [bibtex] [pdf] [citations]
[2015] NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java (, , and ), Technical report 1512.07423, Arxiv, . [bibtex] [pdf] [citations]
[2015] Casper: Debugging Null Dereferences with Dynamic Causality Traces (, , and ), Technical report hal-01113988, Inria Lille, . [bibtex] [pdf] [citations]
[2015] Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions (, and ), In Information and Software Technology, Elsevier, volume 57, . [bibtex] [pdf] [doi] [citations]
[2015] Dynamic Analysis can be Improved with Automatic Test Suite Refactoring (, , , , and ), Technical report 1506.01883, Arxiv, . [bibtex] [pdf] [citations]
[2015] The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond ( and ), In ACM Computing Surveys, ACM, volume 48, . [bibtex] [pdf] [doi] [citations]
[2015] Automatic Software Repair: a Bibliography (), Technical report hal-01206501, University of Lille, . [bibtex] [pdf] [citations]
[2015] Automatic Repair of Infinite Loops ( and ), Technical report 1504.05078, Arxiv, . [bibtex] [pdf] [citations]
[2015] DSpot: Test Amplification for Automatic Assessment of Computational Diversity (, , and ), Technical report 1503.05807, Arxiv, . [bibtex] [pdf] [citations]
[2015] Automatic Software Diversity in the Light of Test Suites (, , and ), Technical report 1509.00144, ArXiv e-prints, . [bibtex] [pdf] [citations]
2014
[2014] Learning to Combine Multiple Ranking Metrics for Fault Localization ( and ), In Proceedings of the 30th International Conference on Software Maintenance and Evolution, . [bibtex] [pdf] [doi] [citations]
[2014] A Generative Model of Software Dependency Graphs to Better Understand Software Evolution (, and ), Technical report 1410.7921, Arxiv, . [bibtex] [pdf] [citations]
[2014] Challenging Analytical Knowledge On Exception-Handling: An Empirical Study of 32 Java Software Packages (, , , and ), Technical report hal-01093908, Laboratoire d'Informatique Fondamentale de Lille, . [bibtex] [pdf] [citations]
[2014] Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow ( and ), Technical report hal-00987395, INRIA, . [bibtex] [pdf] [citations]
[2014] Analysis and Exploitation of Natural Software Diversity: The Case of API Usages (, and ), Technical report hal-01095501, Inria, . [bibtex] [pdf] [citations]
[2014] ASTOR: Evolutionary Automatic Software Repair for Java ( and ), Technical report 1410.6651, Arxiv, . [bibtex] [pdf] [citations]
[2014] Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis (, and ), Technical report hal-01075938, Inria, . [bibtex] [pdf] [citations]
[2014] Fine-grained and Accurate Source Code Differencing (, , , and ), In Proceedings of the International Conference on Automated Software Engineering, . [bibtex] [pdf] [doi] [citations]
[2014] On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (, and ), In Proceedings of the 30th International Conference on Software Maintenance and Evolution, . [bibtex] [pdf] [doi] [citations]
[2014] DIVERSIFY - Ecology-Inspired Software Evolution for Diversity Emergence (, , , , and ), In Proceedings of IEEE CSMR-WCRE, . [bibtex] [pdf] [doi] [citations]
[2014] Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android (, , and ), In IEEE Transactions on Software Engineering, volume 40, . [bibtex] [pdf] [doi] [citations]
[2014] Multi-tier Diversification in Web-based Software Applications (, , , , , , , and ), In IEEE Software, IEEE, volume 32, . [bibtex] [pdf] [doi]
[2014] Test Case Purification for Improving Fault Localization ( and ), In Proceedings of the International Symposium on the Foundations of Software Engineering, . [bibtex] [pdf] [doi] [citations]
[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 Proceedings of the International Conference on Software Engineering, . [bibtex] [pdf] [doi] [citations]
[2014] Principles of Antifragile Software (), Technical report 1404.3056, Arxiv, . [bibtex] [pdf] [citations]
[2014] Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches (, and ), In Proceedings of the International Conference on Software Engineering, track on New Ideas and Emerging Results, . [bibtex] [pdf] [doi] [citations]
[2014] Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (, , and ), In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), . [bibtex] [pdf] [doi] [citations]
[2014] Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants (, and ), In Proceedings of the International Symposium on Software Testing and Analysis, . [bibtex] [pdf] [doi] [citations]
[2014] Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression Testing (, , and ), In Proceedings of the International Workshop on Security Testing (SECTEST'2014), . [bibtex] [pdf] [doi] [citations]
2013
[2013] Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench (, , , and ), In Software and Systems Modeling, Springer, volume 14, . [bibtex] [pdf] [doi]
[2013] Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair ( and ), Dagstuhl Preprint, Seminar 13061, . [bibtex] [pdf] [citations]
[2013] An Approach for Discovering Traceability Links between Regulatory Documents and Source Code Through User-Interface Labels ( and ), Technical report hal-00958146, Inria, . [bibtex] [pdf]
[2013] Automatically Extracting Instances of Code Change Patterns with AST Analysis (, and ), In Proceedings of the 29th IEEE International Conference on Software Maintenance, . [bibtex] [pdf] [doi] [citations]
[2013] Reasoning and Improving on Software Resilience against Unanticipated Exceptions (, and ), Technical report hal-0092293, INRIA, . [bibtex] [pdf]
[2013] Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions (, and ), In Software Practice and Experience, Wiley-Blackwell, volume 45, . [bibtex] [pdf] [doi] [citations]
[2013] Detecting Missing Method Calls as Violations of the Majority Rule ( and ), In ACM Transactions on Software Engineering and Methodology, ACM, volume 22, . [bibtex] [pdf] [doi] [citations]
[2013] Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software (, and ), In Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), . [bibtex] [pdf] [doi] [citations]
[2013] Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing ( and ), In Empirical Software Engineering, Springer, volume 20, . [bibtex] [pdf] [doi] [citations]
2012
[2012] Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation (, , , and ), Technical report 978-2-87971-111-9, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg, . [bibtex] [pdf] [citations]
[2012] XSS-FP: Browser Fingerprinting using HTML Parser Quirks (, , , , and ), Technical report hal-00753926, University of Luxembourg, . [bibtex] [pdf] [citations]
[2012] CVS-Vintage: A Dataset of 14 CVS Repositories of Java Software ( and ), Technical report hal-00769121, INRIA, . [bibtex] [pdf] [citations]
[2012] What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation (, , and ), In Empirical Software Engineering, Springer, volume 17, . [bibtex] [pdf] [doi] [citations]
[2012] Mining Repair Actions for Guiding Automated Program Fixing ( and ), Technical report 1311.3414, Arxiv, . [bibtex] [pdf] [citations]
[2012] Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge (, and ), In Proceedings of the International Conference on Software Engineering, . [bibtex] [pdf] [doi] [citations]
[2012] Towards Ecology Inspired Software Engineering ( and ), Technical report 7952, INRIA, . [bibtex] [pdf] [citations]
[2012] Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot (, , and ), In Proceedings of the International Workshop on the State Of the Art in Java Program Analysis (SOAP'2012), . [bibtex] [pdf] [doi] [citations]
[2012] Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (, , and ), In Proceedings of the 27th IEEE/ACM International Conference On Automated Software Engineering, . [bibtex] [pdf] [doi] [citations]
2011
[2011] A Natural Language Interface for Code Search (, and ), Technical report hal-01094267, TU Darmstadt, . [bibtex] [pdf]
[2011] Automated Measurement of Models of Requirements (, , , and ), In Software Quality Journal, Springer, volume 21, . [bibtex] [pdf] [doi] [citations]
[2011] Model-driven Generative Development of Measurement Software (, , , and ), In Software and Systems Modeling, Springer, volume 10, . [bibtex] [pdf] [doi] [citations]
[2011] Querying Source Code with Natural Language (, and ), In Proceedings of the 26th IEEE/ACM International Conference On Automated Software Engineering, . [bibtex] [pdf] [doi] [citations]
[2011] Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (, , and ), Technical report 978-2-87971-107-2, University of Luxembourg, . [bibtex] [pdf] [citations]
2010
[2010] Detecting Missing Method Calls in Object-Oriented Software (, and ), In Proceedings of the 24th European Conference on Object-Oriented Programming, Springer, . [bibtex] [pdf] [doi] [citations]
[2010] Model-driven Architecture of a Maritime Surveillance System Simulator (, , , , and ), In Systems Engineering, John Wiley and Sons, volume 13, . [bibtex] [pdf] [doi]
[2010] Model-driven Engineering of Machine Executable Code (, , and ), In Proceedings of the 6th European Conference on Modelling Foundations and Applications, . [bibtex] [pdf] [doi] [citations]
[2010] Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages (, and ), In Proceedings of the First International Workshop on Composition and Variability co-located with AOSD'2010, . [bibtex] [pdf] [citations]
[2010] IDE 2.0: Collective Intelligence in Software Development (, , and ), In Proceedings of the 2010 FSE/SDP Workshop on the Future of Software Engineering Research, . [bibtex] [pdf] [doi] [citations]
[2010] Mining Subclassing Directives to Improve Framework Reuse (, and ), In Proceedings of the 7th IEEE Working Conference on Mining Software Repositories, IEEE, . [bibtex] [pdf] [doi] [citations]
2009
[2009] A Definition of 'Abstraction Level' for Metamodels (, and ), In Proceedings of the 7th IEEE Workshop on Model-Based Development co-located with ECBS'2009, IEEE, . [bibtex] [pdf] [doi]
[2009] Untangling Crosscutting Concerns in Domain-specific Languages with Domain-specific Join Points (, and ), In Proceedings of the 4th Domain-Specific Aspect Languages Workshop co-located with AOSD'2009, . [bibtex] [pdf] [doi] [citations]
[2009] Learning from Examples to Improve Code Completion Systems (, and ), In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering, ACM, . [bibtex] [pdf] [doi] [citations]
2008
[2008] La mesure des modèles par les modèles : une approche générative (), PhD thesis, Université de Rennes, . [bibtex] [pdf]
[2008] A Model-driven Measurement Approach (, , and ), In Proceedings of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems, Springer, . [bibtex] [pdf] [doi] [citations]
[2008] Model-driven Simulation of a Maritime Surveillance System (, , , , and ), In Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications, Springer, . [bibtex] [pdf] [doi] [citations]
[2008] Measuring Models (, , and ), Chapter in Model-Driven Software Development: Integrating Quality Assurance (Jörg Rech, Christian Bunse, eds.), IDEA Group, . [bibtex] [pdf] [doi] [citations]
[2008] Model-driven Engineering Metrics for Real Time Systems (, , and ), In Proceedings of the 4th European Congress on Embedded Real Time Software, . [bibtex] [pdf] [citations]
2007
[2007] Counts Count (, and ), In Proceedings of the 2nd Workshop on Model Size Metrics co-located with MODELS'2007, . [bibtex] [pdf] [citations]
2006
[2006] Nonlocal Estimation of Manifold Structure (, and ), In Neural Computation, MIT Press, volume 18, . [bibtex] [pdf] [doi] [citations]
2004
[2004] Non-Local Manifold Tangent Learning ( and ), In Advances in Neural Information Processing Systems (Lawrence K. Saul, Yair Weiss, Léon Bottou, eds.), MIT Press, volume 17, . [bibtex] [pdf] [citations]
[2004] Manifolds: beyond locality (), Master's thesis, Université de Technologie de Compiègne, . [bibtex] [pdf]
Powered by bibtexbrowser