Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis

Bentley Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer

Article de revue (2023)

Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Voir chez l'éditeur officiel
Département:
Département de génie informatique et génie logiciel
Adresse URL de PolyPublie:
https://publications.polymtl.ca/56535/
Titre de la revue :
Software and Systems Modeling
Maison d'édition:
Springer heidelberg
DOI:
10.1007/s10270-023-01123-3
URL officielle:
https://doi.org/10.1007/s10270-023-01123-3
OAI:
oai:publications.polymtl.ca:56535
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:16
Citer en APA 7:
Oakes, B., Troya, J., Galasso, J., & Wimmer, M. (2023). Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and Systems Modeling, 27 pages. https://doi.org/10.1007/s10270-023-01123-3

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document