Rules Checking and Testing

I'm really interested in using rules checking for building more robust software.
    1. Simon Allier, Nicolas Anquetil, Andre Hora and Stéphane Ducasse, A Framework to Compare Alert Ranking Algorithms, International Working Conference on Reverse Engineering (WCRE'12), 2012, Acceptance rate: 43/138 = 31%, PDF.
    2. Vincent Aranega, Julien Delplanque, Matias Martinez, Andrew Black, Stéphane Ducasse, Christopher Fuhrman, Guillermo Polito and Anne Etien, Rotten Green Tests in Java, Pharo and Python An Empirical Study, Journal of Empirical Software Engineering, Springer-Verlag, 2021, DOI, PDF.
    3. Vincent Blondeau, Sylvain Cresson, Pascal Croisy, Anne Etien, Nicolas Anquetil and Stéphane Ducasse, Dynamic and Static Approaches Comparison for Test Suite Reduction in Industry, BENEVOL'15: 14th BElgian-NEtherlands software eVOLution seminar, 2015, PDF.
    4. Vincent Blondeau, Anne Etien, Nicolas Anquetil, Sylvain Cresson, Pascal Croisy and Stéphane Ducasse, Test Case Selection in Industry: An Analysis of Issues Related to Static Approaches, Software Quality Journal, 1–35, Springer Verlag, 2016, DOI, PDF.
    5. Vincent Blondeau, Nicolas Anquetil, Stéphane Ducasse, Sylvain Cresson and Pascal Croisy, Test Selection with Moose In Industry: Impact of Granularity, International Workshop on Smalltalk Technologies IWST'16, 2016, URL, PDF.
    6. Vincent Blondeau, Anne Etien, Nicolas Anquetil, Sylvain Cresson, Pascal Croisy and Stéphane Ducasse, What are the Testing Habits of Developers? A Case Study in a Large IT Company, Proceedings of the 21st IEEE International Conference on Software Maintenance and Evolution (ICSME'17), 2017, PDF.
    7. Julien Delplanque, Stéphane Ducasse, Andrew P. Black and Guillermo Polito, Rotten Green Tests: a First Analysis, 2018, PDF.
    8. Julien Delplanque, Stéphane Ducasse, Andrew P. Black, Guillermo Polito and Anne Etien, Rotten Green Tests, 2019 International Conference on Software Engineering (ICSE), 500–511, IEEE/ACM, 2019, DOI, PDF.
    9. Stéphane Ducasse, Manuel Oriol and Alexandre Bergel, Challenges to support automated random testing for dynamically typed languages, Proceedings of ESUG International Workshop on Smalltalk Technologies (IWST 2011), 2011, URL.
    10. Markus Gaelli, Oscar Nierstrasz and Stéphane Ducasse, One-Method Commands: Linking Methods and Their Tests, OOPSLA Workshop on Revival of Dynamic Languages, 2004, PDF.
    11. Andre Hora, Nicolas Anquetil, Stéphane Ducasse and Simon Allier, Domain Specific Warnings: Are They Any Better?, International Conference on Software Maintenance (ICSM'12), 441-450, 2012, acceptance rate: 46/181 = 25%, DOI, PDF.
    12. Andre Hora, Nicolas Anquetil, Stéphane Ducasse and Marco Túlio Valente, Mining System Specific Rules from Change Patterns, Proceedings of the 20th Working Conference on Reverse Engineering (WCRE'13), 2013, Acceptance rate: 38/97 = 39%, PDF.
    13. Andre Hora, Anne Etien, Nicolas Anquetil, Stéphane Ducasse and Marco Túlio Valente, APIEvolutionMiner: Keeping API Evolution under Control, Proceedings of the Software Evolution Week (CSMR-WCRE'14), 2014, acceptance rate: 27/86 = 31%, PDF.
    14. Guillermo Polito, Pablo Tesone, Jean Privat, Nahuel Palumbo and Stéphane Ducasse, Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events, International Conference on Software Testing, 2023.
    15. Daniel Raţiu, Stéphane Ducasse, Tudor Gîrba and Radu Marinescu, Using History Information to Improve Design Flaws Detection, Proceedings of 8th European Conference on Software Maintenance and Reengineering (CSMR'04), 223–232, IEEE Computer Society, 2004, acceptance rate: 33/62 = 52%, PDF.
    16. Stefan Reichhart, Tudor Gîrba and Stéphane Ducasse, Rule-based Assessment of Test Quality, Journal of Object Technology, Special Issue. Proceedings of TOOLS Europe 2007, 6/9, 231–251, 2007, PDF.
    17. Lukas Renggli, Stéphane Ducasse, Tudor Gîrba and Oscar Nierstrasz, Domain-Specific Program Checking, Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), 6141, 213–232, Springer-Verlag, 2010, DOI, PDF.
    18. Benoît Verhaeghe, Nicolas Anquetil, Stéphane Ducasse and Vincent Blondeau, Usage of Tests in an Open-Source Community, Proceedings of the 12th Edition of the International Workshop on Smalltalk Technologies, 4:1–4:9, ACM, 2017, DOI, PDF.
    19. Roel Wuyts, Stéphane Ducasse and Gabriela Arévalo, Applying Experiences with Declarative Codifications of Software Architectures on COD, Ecoop 6th International Workshop on Component-Oriented Programming, 2001, URL.