Refereed Articles
| 2021 | |
| [60] | Maximizing Error Injection Realism for Chaos Engineering with System Calls , In IEEE Transactions on Dependable and Secure Computing, volume , 2021. |
| [59] | Production Monitoring to Improve Test Suites , In IEEE Transactions on Reliability, volume , 2021. |
| [58] | A comprehensive study of bloated dependencies in the Maven ecosystem , In Empirical Software Engineering, volume 26, 2021. |
| [57] | Observability and chaos engineering on system calls for containerized applications in docker , In Future Generation Computer Systems, volume 122, 2021. |
| [56] | Interpretation of swedish sign language using convolutional neural networks and transfer learning , In SN Computer Science, volume 2, 2021. |
| [55] | the sound of software tranquility , In Ruukku, volume 15, 2021. |
| [54] | A Software Repair Bot based on Continual Learning , In IEEE Software, volume , 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 Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM , In IEEE Transactions on Software Engineering, IEEE, 2019. |
| [46] | A Comprehensive Study of Pseudo-tested Methods , In Empirical Software Engineering, volume 24, 2019. |
| [45] | A Journey Among Java Neutral Program Variants , In Genetic Programming and Evolvable Machines, volume 20, 2019. |
| [44] | 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. |
| [43] | A snowballing literature study on test amplification , In Journal of Systems and Software, volume 157, 2019. |
| [42] | Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects , In Empirical Software Engineering, volume 24, 2019. |
| [41] | Modeling Variability in the Video Domain: Language and Experience Report , In Software Quality Journal, Springer Verlag, volume 27, 2019. |
| 2018 | |
| [40] | Omniscient Debugging for Executable DSLs , In Journal of Systems and Software, volume 137, 2018. |
| [39] | Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation , In Empirical Software Engineering, Springer Verlag, volume 23, 2018. |
| [38] | User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners , In Information and Software Technology, volume 102, 2018. |
| [37] | 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 | |
| [36] | Reverse Engineering Language Product Lines from Existing DSL Variants , In Journal of Systems and Software, volume 133, 2017. |
| [35] | Online Genetic Improvement on the java virtual machine with ECSELR , In Genetic Programming and Evolvable Machines, volume 18, 2017. |
| [34] | Automated Extraction of Product Comparison Matrices From Informal Product Descriptions , In Journal of Systems and Software, volume 124, 2017. |
| 2016 | |
| [33] | Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming , In Information and Software Technology, volume 71, 2016. |
| [32] | B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis , In Information and Software Technology, volume 76, 2016. |
| [31] | ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems , In Journal of Systems and Software, volume 122, 2016. |
| [30] | Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study , In Empirical Software Engineering, Springer Verlag (Germany), volume 21, 2016. |
| 2015 | |
| [29] | An analysis of metamodeling practices for MOF and OCL , In Computer Languages, Systems and Structures, volume 41, 2015. |
| [28] | Using Slicing to Improve the Performance of Model Invariant Checking , In Journal of Object Technology, volume 14, 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] | Towards Dependable Model Transformations: Qualifying Input Test Data , 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] | From Genetic to Bacteriological Algorithms for Mutation-Based Testing , In Software, Testing, Verification and Reliability journal, volume 15, 2005. |
| [2] | Automatic Test Cases Optimization: a Bacteriologic Algorithm , In IEEE Software, volume 22, 2005. |
| 2002 | |
| [1] | From diagnosis to diagnosability: axiomatization, measurement and application , In Journal of Systems and Software, volume 65, 2002. |