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. |