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

Bentley Oakes, Javier Troya, Jessie Galasso et Manuel Wimmer

Article de revue (2023)

Document en libre accès chez l'éditeur officiel

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
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
Date du dépôt:	02 nov. 2023 15:35
Dernière modification:	08 avr. 2025 07:25

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel