View in EDS HTML Full Text PDF Full Text

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

Saved in:

Bibliographic Details
Title:	Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.
Authors:	Oakes, Bentley James^1,2, Troya, Javier³, jtroya@uma.es, Galasso, Jessie^1,4, Wimmer, Manuel⁵
Source:	Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p737-763, 27p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	16191366
DOI:	10.1007/s10270-023-01123-3