Refereed Articles
| 2020 | |
| [50] | Leveraging metamorphic testing to automatically detect inconsistencies in code generator families , In Software Testing, Verification and Reliability, Wiley, 2020. |
| [49] | An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration , In Empirical Software Engineering, 2020. |
| 2019 | |
| [48] | Repairnator Patches Programs Automatically , In Ubiquity, volume 2019, 2019. |
| [47] | A Comprehensive Study of Pseudo-tested Methods , In Emirical Software Engineering, volume 24, 2019. |
| [46] | Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack , In Empirical Software Engineering, Springer Verlag, volume 24, 2019. |
| [45] | A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM , In IEEE Transactions on Software Engineering, volume , 2019. |
| [44] | A Journey Among Java Neutral Program Variants , In Genetic Programming and Evolvable Machines, volume , 2019. |
| [43] | A snowballing literature study on test amplification , In Journal of Systems and Software, Elsevier, volume 157, 2019. |
| 2018 | |
| [42] | User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners , In Information and Software Technology, Elsevier, 2018. |
| [41] | Modeling Variability in the Video Domain: Language and Experience Report , In Software Quality Journal, Springer Verlag, 2018. |
| [40] | Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects , In Empirical Software Engineering, volume , 2018. |
| [39] | Automatic Quality Assurance and Release (Dagstuhl Seminar 18122) , In Dagstuhl Reports (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 8, 2018. |
| 2017 | |
| [38] | Omniscient Debugging for Executable DSLs , In Journal of Systems and Software, Elsevier, volume 137, 2017. |
| [37] | Reverse Engineering Language Product Lines from Existing DSL Variants , In Journal of Systems and Software, Elsevier, 2017. |
| [36] | Advanced and efficient execution trace management for executable domain-specific modeling languages , In Software and Systems Modeling, Springer Verlag, 2017. |
| [35] | Online Genetic Improvement on the java virtual machine with ECSELR , In Genetic Programming and Evolvable Machines, volume 18, 2017. |
| [34] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation , In Empirical Software Engineering, Springer Verlag, 2017. |
| [33] | Automated Extraction of Product Comparison Matrices From Informal Product Descriptions , In Journal of Systems and Software, Elsevier, volume 124, 2017. |
| 2016 | |
| [32] | Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming , In Information and Software Technology, Elsevier, volume 71, 2016. |
| [31] | B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis , In Information and Software Technology, Elsevier, 2016. |
| [30] | ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems , In Journal of Systems and Software, Elsevier, 2016. |
| 2015 | |
| [29] | Using Slicing to Improve the Performance of Model Invariant Checking , In Journal of Object Technology, 2015. |
| [28] | Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels , In Information and Software Technology, Elsevier, volume 62, 2015. |
| [27] | Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study , In Empirical Software Engineering, Springer Verlag (Germany), 2015. |
| [26] | The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond , In ACM Computing Survey, volume 48, 2015. |
| [25] | Multi-tier diversification in Web-based software applications , In IEEE Software, volume 32, 2015. |
| [24] | Guest Editorial for Special Section on ICST'13 , In Software Testing, Verification and Validation, volume 25, 2015. |
| 2014 | |
| [23] | Generating Counterexamples of Model-based Software Product Lines , In Software Tools for Technology Transfer (STTT), Springer, 2014. |
| [22] | Globalizing Modeling Languages , In Computer, IEEE, 2014. |
| [21] | Model-Based Testing of Global Properties on Large-Scale Distributed Systems , In Information and Software Technology, Elsevier, volume 56, 2014. |
| [20] | Towards an Automation of the Mutation Analysis Dedicated to Model Transformation , In Software Testing, Verification and Reliability, Wiley, volume , 2014. |
| 2013 | |
| [19] | Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation , In Journal of Software Maintenance and Evolution: Research and Practice, Wiley, 2013. |
| [18] | Automated Measurement of Models of Requirements , In Software Quality Journal, Springer, volume 21, 2013. |
| 2012 | |
| [17] | Kompren: Modeling and Generating Model Slicers , In Software and Systems Modeling, Springer, 2012. |
| [16] | Usage and Testability of AOP: an empirical study of AspectJ , In Information and Software Technology, Elsevier, 2012. |
| [15] | Reusable model transformations , In Journal of Software and Systems Modeling (SoSyM), Springer, volume 11, 2012. |
| [14] | Pairwise Testing for Software Product Lines: A Comparison of Two Approaches , In Software Quality Journal, Springer, volume 20, 2012. |
| [13] | Modeling Modeling Modeling , In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012. |
| 2011 | |
| [12] | An Approach for Testing Pointcut Descriptors in AspectJ , In Software, Testing, Verification & Reliability journal (STVR), volume 21, 2011. |
| [11] | Model-driven Generative Development of Measurement Software , In Software and Systems Modeling (SoSyM), Springer, volume 10, 2011. |
| [10] | Guest Editorial for Special Section on Mutation Testing , In Information & Software Technology, volume 53, 2011. |
| 2010 | |
| [9] | Towards Domain-specific Model Editors with Automatic Model Completion , In SIMULATION, volume 86, 2010. |
| [8] | Construction de tests qualifiés de transformation de modèles , In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. |
| [7] | Barriers to Systematic Model Transformation Testing , In Communications of the ACM, ACM, volume 53, 2010. |
| 2009 | |
| [6] | Towards Dependable Model Transformations: Qualifying Input Test Data , In Journal of Software and Systems Modeling (SoSyM), volume 8, 2009. |
| 2006 | |
| [5] | Design by Contract to improve Software Vigilance , In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. |
| 2005 | |
| [4] | From Genetic to Bacteriological Algorithms for Mutation-Based Testing , In Software, Testing, Verification & Reliability journal (STVR), volume 15, 2005. |
| [3] | Automatic Test Cases Optimization: a Bacteriologic Algorithm , In IEEE Software, volume 22, 2005. |
| 2004 | |
| [2] | Measuring Design Testability of a UML Class Diagram , In Information & Software Technology (IST), 2004. |
| 2002 | |
| [1] | From diagnosis to diagnosability: axiomatization, measurement and application , In Journal of Systems and Software, 2002. |