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, Proceedings of the 19th International Working Conference on Reverse Engineering (WCRE'12), 2012, Acceptance rate: 43/138 = 31%, PDF.
    2. 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.
    3. 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, PDF, DOI.
    4. 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, PDF.
    5. 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.
    6. 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, PDF.
    7. 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.
    8. Andre Hora, Nicolas Anquetil, Stéphane Ducasse and Simon Allier, Domain Specific Warnings: Are They Any Better?, Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM'12), 2012, acceptance rate: 46/181 = 25%, PDF.
    9. 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.
    10. 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.
    11. 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.
    12. 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.
    13. 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, PDF, DOI.
    14. Benoit Verhaeghe, Nicolas Anquetil, Stéphane Ducasse and Vincent Blondeau, Usage of Tests in an Open-Source Community, IWST'17, 2017, PDF.
    15. 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, PDF.