Refereed Articles
| 2022 | |
| [70] | Coverage-Based Debloating for Java Bytecode , In ACM Trans. on Software Engineering and Methodology, 2022. |
| [69] | The Multi-Billion Dollar Software Supply Chain of Ethereum , In IEEE Computer, 2022. |
| [68] | Spork: Structured Merge for Java with Formatting Preservation , In IEEE Transactions on Software Engineering, volume , 2022. |
| [67] | API Beauty is in the eye of the Clients: 2.2 Million Maven Dependencies reveal the Spectrum of Client-API Usages , In Journal of Systems and Software, volume 184, 2022. |
| [66] | Long Live Software Easter Eggs , In ACM Queue, volume 20, 2022. |
| 2021 | |
| [65] | A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM , In IEEE Transactions on Software Engineering, IEEE, volume 47, 2021. |
| [64] | Maximizing Error Injection Realism for Chaos Engineering with System Calls , In IEEE Transactions on Dependable and Secure Computing, volume , 2021. |
| [63] | Production Monitoring to Improve Test Suites , In IEEE Transactions on Reliability, volume , 2021. |
| [62] | A comprehensive study of bloated dependencies in the Maven ecosystem , In Empirical Software Engineering, volume 26, 2021. |
| [61] | Observability and chaos engineering on system calls for containerized applications in docker , In Future Generation Computer Systems, volume 122, 2021. |
| [60] | Interpretation of swedish sign language using convolutional neural networks and transfer learning , In SN Computer Science, volume 2, 2021. |
| [59] | the sound of software tranquility , In Ruukku, volume 15, 2021. |
| [58] | Science-changing Code , In Blog@CACM, Association for Computing Machinery (ACM), 2021. |
| [57] | Testing beyond coverage , In Increment, Stripe, 2021. |
| [56] | A Software Repair Bot based on Continual Learning , In IEEE Software, volume , 2021. |
| [55] | Dynamic Analysis in the Browser , In Blog@CACM, Association for Computing Machinery (ACM), 2021. |
| [54] | Constraint-based Diversification of JOP Gadgets , In Journal of Artificial Intelligence Research, volume 72, 2021. |
| 2020 | |
| [53] | Browser Fingerprinting: A survey , In ACM Transactions on the Web, volume 14, 2020. |
| [52] | An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration , In Empirical Software Engineering, volume 25, 2020. |
| [51] | Leveraging metamorphic testing to automatically detect inconsistencies in code generator families , In Software Testing, Verification and Reliability, volume 30, 2020. |
| [50] | Java decompiler diversity and its application to meta-decompilation , In Journal of Systems and Software, volume 168, 2020. |
| 2019 | |
| [49] | Repairnator Patches Programs Automatically , In ACM Ubiquity, volume July, 2019. |
| [48] | Advanced and efficient execution trace management for executable domain-specific modeling languages , In Journal of Software and Systems Modeling, volume 18, 2019. |
| [47] | A Comprehensive Study of Pseudo-tested Methods , In Empirical Software Engineering, volume 24, 2019. |
| [46] | A Journey Among Java Neutral Program Variants , In Genetic Programming and Evolvable Machines, volume 20, 2019. |
| [45] | Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack , In Empirical Software Engineering, volume 24, 2019. |
| [44] | A snowballing literature study on test amplification , In Journal of Systems and Software, volume 157, 2019. |
| [43] | Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects , In Empirical Software Engineering, volume 24, 2019. |
| [42] | Modeling Variability in the Video Domain: Language and Experience Report , In Software Quality Journal, Springer Verlag, volume 27, 2019. |
| 2018 | |
| [41] | Omniscient Debugging for Executable DSLs , In Journal of Systems and Software, volume 137, 2018. |
| [40] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation , In Empirical Software Engineering, Springer Verlag, volume 23, 2018. |
| [39] | User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners , In Information and Software Technology, volume 102, 2018. |
| [38] | 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 | |
| [37] | Reverse Engineering Language Product Lines from Existing DSL Variants , In Journal of Systems and Software, volume 133, 2017. |
| [36] | Online Genetic Improvement on the java virtual machine with ECSELR , In Genetic Programming and Evolvable Machines, volume 18, 2017. |
| [35] | Automated Extraction of Product Comparison Matrices From Informal Product Descriptions , In Journal of Systems and Software, volume 124, 2017. |
| 2016 | |
| [34] | B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis , In Information and Software Technology, volume 76, 2016. |
| [33] | Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming , In Information and Software Technology, volume 71, 2016. |
| [32] | ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems , In Journal of Systems and Software, volume 122, 2016. |
| [31] | Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study , In Empirical Software Engineering, Springer Verlag (Germany), volume 21, 2016. |
| 2015 | |
| [30] | An analysis of metamodeling practices for MOF and OCL , In Computer Languages, Systems and Structures, volume 41, 2015. |
| [29] | Using Slicing to Improve the Performance of Model Invariant Checking , In Journal of Object Technology, volume 14, 2015. |
| [28] | Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels , In Information and Software Technology, volume 62, 2015. |
| [27] | Kompren: Modeling and Generating Model Slicers , In Journal of Software and Systems Modeling, volume 14, 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. |
| [23] | Towards an Automation of the Mutation Analysis Dedicated to Model Transformation , In Software Testing, Verification and Reliability, volume 25, 2015. |
| 2014 | |
| [22] | Generating Counterexamples of Model-based Software Product Lines , In Software Tools for Technology Transfer (STTT), Springer, 2014. |
| [21] | Globalizing Modeling Languages , In IEEE Computer, volume 47, 2014. |
| [20] | Model-Based Testing of Global Properties on Large-Scale Distributed Systems , In Information and Software Technology, volume 56, 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, volume 25, 2013. |
| [18] | Usage and Testability of AOP: an empirical study of AspectJ , In Information and Software Technology, volume 55, 2013. |
| [17] | SOA Antipatterns: an Approach for their Specification and Detection , In International Journal of Cooperative Information Systems, volume 22, 2013. |
| [16] | Automated Measurement of Models of Requirements , In Software Quality Journal, Springer, volume 21, 2013. |
| 2012 | |
| [15] | Reusable model transformations , In Journal of Software and Systems Modeling, 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, Springer-Verlag, volume 11, 2012. |
| 2011 | |
| [12] | An Approach for Testing Pointcut Descriptors in AspectJ , In Software, Testing, Verification and Reliability journal, volume 21, 2011. |
| [11] | Model-driven Generative Development of Measurement Software , In Journal of Software and Systems Modeling, Springer, volume 10, 2011. |
| [10] | Guest Editorial for Special Section on Mutation Testing , In Information and 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] | Qualifying input test data for model transformations , In Journal of Software and Systems Modeling, volume 8, 2009. |
| 2006 | |
| [5] | Design by Contract to improve Software Vigilance , In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. |
| 2005 | |
| [4] | Measuring Design Testability of a UML Class Diagram , In Information and Software Technology, volume 47, 2005. |
| [3] | Automatic Test Case Optimization: A Bacteriologic Algorithm , In IEEE Software, volume 22, 2005. |
| [2] | From genetic to bacteriological algorithms for mutation-based testing , In Software Testing Verification and Reliability, volume 15, 2005. |
| 2003 | |
| [1] | From diagnosis to diagnosability: axiomatization, measurement and application , In Journal of Systems and Software, volume 65, 2003. |