Publications 2012

Thèses et habilitations à diriger les recherches

1. Muhammad Naeem Irfan. Analysis and optimization of software model inference algorithms. Thèse de l'Université de Grenoble, Grenoble, France, Septembre 2012. download

Ouvrages

1. Proceedings of GreHack 2012, the First International Symposium in Grey-Hat Hacking. Fabien Duchene, Jean-Luc Richier (eds.), Grenoble, France, Octobre 2012.

Articles de journaux

1. Y. Falcone, J.-C. Fernandez, L. Mounier. What can you Verify and Enforce at Runtime?. STTT: Software Tools for Technology Transfer, Special issue on Runtime Verification, Invited paper, (3):349-382, 2012.
2. Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. More testable properties. (4):407-437, 2012.
3. Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran. Prioritising Test Cases with String Distances. Journal of Automated Software Engineering, 19(1):65-95, 2012. download
4. Yves Ledru, Lydie du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques, RSTI, série TSI, 31(6):743-767, 2012.

Conférences internationales

1. Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In FM 2012: Formal Methods - 18th International Symposium, Pages 68-84, 2012.
2. Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 284-291, 2012.
3. Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. In IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Pages 350-353, 2012. download
4. Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. In Runtime Verification, Third International Conference, RV 2012, Pages 88-95, 2012.
5. Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. In FM 2012: Formal Methods - 18th International Symposium, Pages 85-100, 2012.
6. Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Volume 7635, Pages 494-509, 2012.
7. Jan Olaf Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 405-419, 2012.
8. Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. Runtime Enforcement of Timed Properties. In Runtime Verification, Third International Conference, RV 2012, Pages 229-244, 2012.
9. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Preproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Pages 176-193, 2012.
10. Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE. In 24th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2012), Pages 1-7, Octobre 2012.
11. Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 444-457, Octobre 2012.
12. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, Pages 133-138, Septembre 2012.
13. Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit. MuTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. In International Conference on Software Security and Reliability (SERE 2012), Pages 197-206, Gaithersburg, Maryland, USA, Juin 2012.
14. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 818-825, Montreal, QC, Canada, Avril 2012. download
15. Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier. XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 815-817, Montreal, QC, Canada, Avril 2012. download
16. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, Mars 2012.

Communications avec actes

1. A. Amiar, M. Delahaye, Y. Falcone, L. du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, 2012.
2. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. In Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pages 179-180, Rennes, France, 2012.
3. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 104-119, Grenoble, Janvier 2012.
4. Taha Triki, Lydie du Bousquet, Yves Ledru. Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 120-134, Grenoble, Janvier 2012.

Rapports de recherche

1. A. Bauer, Y. Falcone. Decentralised LTL Monitoring. RR CoRR, 2012. download

Autres communications

1. Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 241-241, Rennes, France, 2012.
2. Lydie du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez. Tobias on-line tool for combinatorial software testing (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 217-217, Rennes, France, 2012.
3. Yves Ledru, German Vega, Taha Triki, Lydie du Bousquet. Test Suite Selection Based on Traceability Annotations - tool demonstration. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 342-345, Essen, Germany, Septembre 2012.
4. Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL. Chronique publiée dans Technique et Science Informatiques (TSI), volume 13, No 3, pp. 397-413, Mars 2012.