<  Back to the Polytechnique Montréal portal

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

Bentley Oakes, Javier Troya, Jessie Galasso and Manuel Wimmer

Article (2023)

Open Acess document at official publisher
An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/56535/
Journal Title: Software and Systems Modeling
Publisher: Springer heidelberg
DOI: 10.1007/s10270-023-01123-3
Official URL: https://doi.org/10.1007/s10270-023-01123-3
Date Deposited: 02 Nov 2023 15:35
Last Modified: 02 Nov 2023 15:35
Cite in 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

Statistics

Dimensions

Repository Staff Only

View Item View Item