C/C++ conditional compilation analysis using symbolic execution

Ying Hu, Ettore Merlo, Michel Dagenais, B. Lague

Communication écrite (2000)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie électrique et de génie informatique
ISBN:
0769507530
Adresse URL de PolyPublie:
Nom de la conférence:
International Conference on Software Maintenance (ICSM 2000)
Lieu de la conférence:
San Jose, CA, USA
Date(s) de la conférence:
2000-10-11 - 2000-10-14
Maison d'édition:
IEEE Computer Society
OAI:
oai:publications.polymtl.ca:28116
ORCID
Date du dépôt:
18 avr. 2023 15:22
Dernière modification:
14 oct. 2026 13:04
Citer en APA 7:
Hu, Y., Merlo, E., Dagenais, M., & Lague, B. (octobre 2000). C/C++ conditional compilation analysis using symbolic execution [Communication écrite]. International Conference on Software Maintenance (ICSM 2000), San Jose, CA, USA. https://doi.org/10.1109/icsm.2000.883045

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document