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

Model Transformation Testing and Debugging: A Survey

(2022) Javier Troya et al.   ACM COMPUTING SURVEYS

Suggesting model transformation repairs for rule-based languages using a contract-based testing approach

(2021) Roberto Rodriguez-Echeverria et al.   Software and Systems Modeling

Contextualizing spectrum-based fault localization

(2018) Higor A. de Souza et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Verification of Model Transformations Using Isabelle/HOL and Scala

(2018) Said Meghzili et al.   INFORMATION SYSTEMS FRONTIERS

Automated inference of likely metamorphic relations for model transformations

(2018) Javier Troya et al.   JOURNAL OF SYSTEMS AND SOFTWARE

Slicing ATL model transformations for scalable deductive verification and fault localization

(2018) Zheng Cheng et al.   International Journal on Software Tools for Technology Transfer

Spectrum-Based Fault Localization in Model Transformations

(2018) Javier Troya et al.   ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Static Analysis of Model Transformations

(2017) Jesus Sanchez Cuadrado et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

A feature-based classification of formal verification techniques for software models

(2017) Sebastian Gabmeyer et al.   Software and Systems Modeling

A Survey on Software Fault Localization

(2016) W. Eric Wong et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Full contract verification for ATL using symbolic execution

(2016) Bentley James Oakes et al.   Software and Systems Modeling

Quick fixing ATL transformations with speculative analysis

(2016) Jesús Sánchez Cuadrado et al.   Software and Systems Modeling

Fault localization for automated program repair: effectiveness, performance, repair correctness

(2016) Fatmah Yousef Assiri et al.   SOFTWARE QUALITY JOURNAL

Static Fault Localization in Model Transformations

(2015) Loli Burgueno et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

A framework for model transformation verification

(2014) Kevin Lano et al.   FORMAL ASPECTS OF COMPUTING

An executable formal semantics for UML-RT

(2014) Ernesto Posse et al.   Software and Systems Modeling

Model transformation intents and their properties

(2014) Levi Lúcio et al.   Software and Systems Modeling

Towards an automation of the mutation analysis dedicated to model transformation

(2014) Vincent Aranega et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization

(2013) Xiaoyuan Xie et al.   ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

The DStar Method for Effective Software Fault Localization

(2013) W. Eric Wong et al.   IEEE TRANSACTIONS ON RELIABILITY

Slice-based statistical fault localization

(2013) Xiaoguang Mao et al.   JOURNAL OF SYSTEMS AND SOFTWARE

A survey of approaches for verifying model transformations

(2013) Lukman Ab. Rahim et al.   Software and Systems Modeling

Automated verification of model transformations based on visual contracts

(2012) Esther Guerra et al.   Automated Software Engineering

A model for spectra-based software diagnosis

(2011) Lee Naish et al.   ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Barriers to systematic model transformation testing

(2010) Benoit Baudry et al.   COMMUNICATIONS OF THE ACM

Is non-parametric hypothesis testing model robust for statistical fault localization?

(2009) Zhenyu Zhang et al.   INFORMATION AND SOFTWARE TECHNOLOGY

A practical evaluation of spectrum-based fault localization

(2009) Rui Abreu et al.   JOURNAL OF SYSTEMS AND SOFTWARE