دورية أكاديمية
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
العنوان: | Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis |
---|---|
المؤلفون: | Oakes, Bentley JamesAff1, Aff2, Troya, JavierAff3, IDs10270023011233_cor2, Galasso, JessieAff1, Aff4, Wimmer, Manuel |
المصدر: | Software and Systems Modeling. 23(3):737-763 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 16191366 16191374 |
---|---|
DOI: | 10.1007/s10270-023-01123-3 |