Publications

(2019). An Advanced Approach for Choosing Security Patterns and Checking their Implementation. International Journal On Advances in Security.

PDF

(2019). Model Generation of Component-based Systems.. Software Quality Journal.

PDF Project DOI

(2019). Reverse Engineering Behavioural Models of IoT Devices. 31st International Conference on Software Engineering & Knowledge Engineering (SEKE).

PDF

(2018). Combining Model Learning and Data Analysis to Generate Models of Component-based Systems. Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS.

PDF

(2018). A Practical Way of Testing Security Patterns. Thirteenth International Conference on Software Engineering Advances (ICSEA’18).

PDF

(2018). COnfECt: An Approach to Learn Models of Component-based Systems. Proceedings of the 13th International Conference on Software Technologies, ICSOFT.

PDF

(2018). COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système. 17èmes journées AFADL : Approches Formelles dans l’Assistance au Développement de Logiciels.

PDF

(2018). A security pattern classification based on Data integration. Information Systems Security and Privacy.

PDF DOI

(2017). Combining model generation and passive testing in the same framework to test industrial systems. International Journal of Information System Modeling and Design.

PDF

(2017). Using Data Integration for Security Testing. 29th IFIP International Conference on Testing Software and Systems (ICTSS).

PDF DOI

(2017). Using data integration to help design more secure applications. 12th International Conference on Risks and Security of Internet and Systems (CRISIS’17).

PDF

(2017). Un Data-Store pour la Génération de Cas de Tests. 16èmes journées AFADL Approches Formelles dans l’Assistance au Développement de Logiciels.

PDF

(2017). A methodology of security pattern classification and of Attack-Defense Tree generation. 3nd International Conference on Information Systems Security and Privacy (ICISSP 2017).

PDF

(2016). Une démarche pour l'assistance a l?utilisation des patrons de sécurité. Revue des Sciences et Technologies de l’Information - Série TSI : Technique et Science Informatiques.

PDF

(2016). A classification methodology for security patterns to help fix software weaknesses. 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA).

PDF

(2016). Tarot16. Speaker in the 12th TAROT Summer School 2016, Testing in the clouds.

PDF

(2016). A Systematic Approach to Assist Designers in Security Pattern Integration. The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016).

PDF

(2016). Model inference of Mobile Applications with dynamic state abstraction. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015.

PDF

(2015). Passive testing of production systems based on model inference. ACM/IEEE International Conference on Formal Methods and Models for Codesign.

PDF

(2015). Autofunk, a fast and scalable framework for building formal models from production systems. 9th ACM International Conference on Distributed Event-Based Systems, DEBS.

PDF DOI

(2015). Une démarche pour l'assistance à l'utilisation des patrons de sécurité. 4ème Conférence en IngénieriE du Logiciel (CIEL).

PDF

(2015). Model Inference and Automatic Testing of Mobile Applications. International Journal On Advances in Software.

PDF

(2015). Autofunk: an inference-based formal model generation framework for production systems. 20th International Symposium on Formal Methods, FME 2015.

PDF

(2015). Model Inference and Automatic Testing of Mobile Applications *. International Journal of Computer Aided Engineering and Technology.

PDF

(2014). Inferring models with rule-based expert systems.. Fifth Symposium on Information and Communication Technology, SoICT ‘14.

PDF

(2014). Model reverse-engineering of Mobile applications with exploration strategies.. Ninth International Conference on Software Engineering Advances, ICSEA 2014.

PDF

(2014). Domain-Driven Model Inference Applied To Web Applications. 2014 International Conference on Software Engineering Research and Practice (SERP14).

PDF

(2014). Inférence de modèles dirigée par la logique métier. AFADL (Approches Formelles dans l’Assistance au Développement de Logiciels).

PDF

(2014). Proxy-Monitor: An integration of runtime verification with passive conformance testing.. International Journal of Software Innovation.

PDF

(2013). Data vulnerability detection by security testing for Android applications. 2013 Information Security for South Africa, Johannesburg, South Africa (ISSA), August 14-16.

PDF

(2013). A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. Software Engineering Research, Management and Applications [Selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013].

PDF

(2012). An Automatic Security Testing approach of Android Applications. The Seventh International Conference on Software Engineering Advances (ICSEA 2012).

PDF

(2012). An approach for testing passively Web service compositions in Clouds. SERP’12, The 2012 International Conference on Software Engineering Research and Practice, WorlComp’12.

(2012). Passive Testing of Symbolic Systems. A IOCO Proxy-Tester Based Approach. International Review on Computers and Software (IRECOS).

PDF

(2012). Modelling and testing of service compositions in partially open environments. Studia Unformatica Universalis, special issue on “Modélisation informatique et mathématique des systèmes complexes : avancées méthodologiques”.

PDF

(2012). A pragmatic approach for testing stateless and stateful Web Service Robustness. Studia Informatica Universalis.

PDF

(2012). A Guided Web Service Security Testing Method. Emerging Technologies - Innovative Concepts and Applications.

(2011). Passive testing with proxy tester. International Journal of Software Engineering and Its Applications (IJSEIA).

PDF

(2011). A Test Purpose and Test Case Generation Approach for SOAP Web Services. The Sixth International Conference on Software Engineering Advances ICSEA 2011.

PDF

(2011). An observability enhancement method of ABPEL specifications. *The 2nd International Conference on Engineering and Meta-Engineering: ICEME 2011 *.

(2011). Automatic Test Purpose Generation for Web Services. Selected Papers from the 2011 International Conference on Electric and Electronics (EEIC 2011) in Nanchang, China.

PDF

(2011). An Approach For Testing Web Service Compositions When Internal Messages Are Unobservable. International Journal of Electronic Business Management (IJEBM).

(2010). A BPEL observability enhancement method. 8th IEEE International Conference on Web Services, ICWS 2010, short paper.

PDF

(2010). Statefull web service robustness. The Fifth International Conference on Internet and Web Applications and Services, ICIW10.

PDF

(2010). Robustesse des Services Web persistants. MOSIM10, 8ème ENIM IFAC Conférence Internationale de Modélisation et Simulation.

PDF

(2010). A preliminary study on BPEL process testability. QuomBat 2010, ICST Workshop on Quality of Model-Based Testing, Co-located with ICST 2010.

PDF

(2009). Testing robustness of communicating systems using ioco-based approach. 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009.

PDF

(2009). Test purpose generation for timed protocol testing. Second International Conference on Communication Theory, Reliability, and Quality of Service, CTRQ 2009.

PDF

(2009). Automatic web service robustness testing from WSDL descriptions. 12th European Workshop on Dependable Computing, EWDC 2009.

PDF

(2009). Automatic Ajax application testing. Fourth International Conference on Internet and Web Applications and Services, ICIW 2009.

PDF

(2008). Automatic web service testing from WSDL Descriptions. 8th International Conference on Innovative Internet Community Systems I2CS 2008.

PDF

(2008). Two complementary approaches to test robustness of reactive systems (Invited paper). 17th IEEE International Conference on Automation, Quality and Testing, Robotics AQTR 2010.

PDF

(2008). Testabilité des services web. Ingénierie des Systèmes d Information RSTI série ISI, numéro spécial Objets, composants et modèles dans l ingénierie des SI.

(2007). Web Service Call Parallelization Using OpenMP. 3rd INTERNATIONAL WORKSHOP on OpenMP (IWOMP) 2007.

PDF

(2007). Generation of tests for real-time systems with test purposes. 15th International Conference on Real-Time and Network Systems RTNS07.

PDF

(2005). Génération automatique d objectifs de test pour systèmes temporisés. Colloque Francophone de l ingénierie des Protocoles (CFIP).

(2004). Testing mobile and distributed systems : method and experimentation. 8th International Conference on Distribued Systems (OPODIS).

(2004). Testability Analysis for Timed Systems. International Journal of Computers and Their Applications (IJCA).

(2003). Génération de tests temporisés orientée caractérisation d états. Colloque Francophone de l ingénierie des Protocoles (CFIP).

(2003). A Testing Tool using the State Characterization Approach for Timed Systems. WRTES, satellite workshop of FME symposium.

(2002). Temporal and Behavior Characterization of States in Timed Systems. 23rd ACIS Annual International Conference on Computer and Information Science (ICIS02).

(2002). Une méthode de test des systèmes temporisés orientée objectif de test. RENPAR14.

(2001). Some Issues on Testing Real-Time Systems. International Journal in Computer Information Science (IJCIS).

(2001). Timed Test Execution and TTCN generation. 2nd International Conference on Software Engineering applied to Networking and Parallel/Distributed Computing (SNPD02).

PDF

(2001). A Simple Approach for Timed System Testing. Formal Approaches to Testing of Software (FATES01), A Satellite Workshop of CONCUR01.

(2001). Some Parameters for Timed System Testability. ACS/IEEE International Conference on Computer System and Applications (AICCS01 ).

(2001). La qualité du test de conformité des systèmes temps réels. 3eme Colloque sur la Modélisation et Simulation des Systèmes (MOSIM01).

(2000). Timed testing using test purposes. 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA00).

(2000). Metrics for Timed Systems Testing. 4th International Conference on Distribued Systems (OPODIS).