Rules Checking

I'm really interested in using rules checking for building more robust software.
    1. Simon Allier, Nicolas Anquetil and Andre Hora 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. 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.
    3. 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.
    4. 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.
    5. 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.
    6. 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.
    7. 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.
    8. 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.
    9. 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.
    10. 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.