Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Autor: Chebaro, Omar

La validation des logiciels est une partie cruciale dans le cycle de leur développement. Deux techniques de vérification et de validation se sont démarquées au cours de ces dernières années : l’analyse statique et l’analyse dynamique. Les p

Externí odkaz: http://www.theses.fr/2011BESA2021/document

Adapting workflows using generic schemas: application to the security of business processes

Autor: Cherrueau, Ronan-Alexandre, Südholt, Mario, Chebaro, Omar

Publikováno v: CloudCom-5th IEEE International Conference on Cloud Computing Technology and Science-2013
CloudCom-5th IEEE International Conference on Cloud Computing Technology and Science-2013, Dec 2013, Bristol, United Kingdom. pp.519-524

International audience; Existing approaches to the adaptation of workflows over web services fall short in two respects. First, they only provide, if ever, limited means for taking into account the execution history of a workflow. Second, they do not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::5ddb87959c5f59a0ad29ffb0d727ea3c
https://inria.hal.science/hal-00866485

Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE

Autor: Chebaro, Omar, Delahaye, Mickaël, Kosmatov, Nikolai

Publikováno v: Proceedings of the 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012)
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7

7 pages - Session 11: Testing - http://icssea.enst.fr/icssea12/; International audience; Combinations of static and dynamic analysis techniques make it possible to detect the risk of out-of-bounds memory access in C programs and to confirm it on conc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fb016ee94d9bdd77445b23a7d6238c66
https://hal.science/hal-00724508

Combining Static Analysis and Test Generation for {C} Program Debugging

Autor: Chebaro, Omar, Kosmatov, Nikolai, Giorgetti, Alain, Julliand, Jacques

Publikováno v: TAP'10, 4th Int. Conf. on Tests and Proofs
TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100

International audience; Software validation remains crucial in software development process. Traditionally viewed as separate domains, static and dynamic analysis have complementary strengths and weaknesses and can be both applied to program validati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6d33043283b0b44eb462d030f6d68fc6
https://hal.science/hal-00563308/file/ckgj10_ip.pdf

An All-in-One Toolkit for Automated White-Box Testing.

Autor: Bardin, Sébastien, Chebaro, Omar, Delahaye, Mickaël, Kosmatov, Nikolai

Publikováno v: Tests & Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings; 2014, p53-60, 8p