Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J., Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS (CEA, L., Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Combination of approaches to the security of infinite states systems (CASSIS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), & Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). (2010, Januar 1). Combining Static Analysis and Test Generation for {C} Program Debugging. Gehalten auf der. CCSD.

CHEBARO, Omar, KOSMATOV, Nikolai, GIORGETTI, Alain, JULLIAND, Jacques, Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC), LABORATOIRE SÛRETÉ DES LOGICIELS (LSL), DÉPARTEMENT INGÉNIERIE LOGICIELS ET SYSTÈMES (DILS (CEA, LIST)), LABORATOIRE D’INTÉGRATION DES SYSTÈMES ET DES TECHNOLOGIES (LIST (CEA)), DIRECTION DE RECHERCHE TECHNOLOGIQUE (CEA) (DRT (CEA)), COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-DIRECTION DE RECHERCHE TECHNOLOGIQUE (CEA) (DRT (CEA)), COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-UNIVERSITÉ PARIS-SACLAY-LABORATOIRE D’INTÉGRATION DES SYSTÈMES ET DES TECHNOLOGIES (LIST (CEA)), COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-COMMISSARIAT À L’ÉNERGIE ATOMIQUE ET AUX ÉNERGIES ALTERNATIVES (CEA)-UNIVERSITÉ PARIS-SACLAY, COMBINATION OF APPROACHES TO THE SECURITY OF INFINITE STATES SYSTEMS (CASSIS), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ COMUE (UBFC)-CENTRE INRIA DE L’UNIVERSITÉ DE LORRAINE, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-DEPARTMENT OF FORMAL METHODS (LORIA - FM), LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA) und INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS), 2010. Combining Static Analysis and Test Generation for {C} Program Debugging. In: . CCSD. 1 Januar 2010.

Chebaro, O., N. Kosmatov, A. Giorgetti, J. Julliand, Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Laboratoire Sûreté des Logiciels (LSL), L. Département Ingénierie Logiciels et Systèmes (DILS (CEA, Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Combination of approaches to the security of infinite states systems (CASSIS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), und Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). Combining Static Analysis and Test Generation for {C} Program Debugging. CCSD, 2010.

Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J., Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS (CEA, L., Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d’Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Commissariat à l’énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Combination of approaches to the security of infinite states systems (CASSIS), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) und Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). (2010), „Combining Static Analysis and Test Generation for {C} Program Debugging“, in , Bd. , CCSD.