On the public citation graph
Spectrum-Based Fault Localization in Model Transformations
0 signed · 152 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/1099-1689(200009)10:3<171::aid-stvr209>3.0.co;2-jopenalex-snapshot
An empirical investigation of the relationship between spectra differences and regression faults
inferredcites →https://doi.org/10.1002/smr.1616openalex-snapshot
Extended comprehensive study of association measures for fault localization
inferredcites →https://doi.org/10.1002/stvr.1532openalex-snapshot
Towards an automation of the mutation analysis dedicated to model transformation
inferredcites →https://doi.org/10.1007/11787044_28openalex-snapshot
Mutation Analysis Testing for Model Transformations
inferredcites →https://doi.org/10.1007/3-540-45923-5_12openalex-snapshot
AToM3: A Tool for Multi-formalism and Meta-modelling
inferredcites →https://doi.org/10.1007/978-3-031-02546-4openalex-snapshot
Model-Driven Software Engineering in Practice
inferredcites →https://doi.org/10.1007/978-3-319-09195-2_9openalex-snapshot
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio
inferredcites →https://doi.org/10.1007/978-3-319-21155-8_11openalex-snapshot
A Sound Execution Semantics for ATL via Translation Validation
inferredcites →https://doi.org/10.1007/978-3-319-42064-6_6openalex-snapshot
Search-Based Model Transformations with MOMoT
inferredcites →https://doi.org/10.1007/978-3-319-45547-1_2openalex-snapshot
Automatic Generation of Ecore Models for Testing ATL Transformations
inferredcites →https://doi.org/10.1007/978-3-540-25959-6_35openalex-snapshot
AGG: A Graph Transformation Environment for Modeling and Validation of Software
inferredcites →https://doi.org/10.1007/978-3-642-02408-5_11openalex-snapshot
Automatic Model Generation Strategies for Model Transformation Testing
inferredcites →https://doi.org/10.1007/978-3-642-04425-0_61openalex-snapshot
Test-Driven Development of Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-16901-4_6openalex-snapshot
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq
inferredcites →https://doi.org/10.1007/978-3-642-18023-1_5openalex-snapshot
Model Driven Language Engineering with Kermeta
inferredcites →https://doi.org/10.1007/978-3-642-19440-5_11openalex-snapshot
JTL: A Bidirectional and Change Propagating Transformation Language
inferredcites →https://doi.org/10.1007/978-3-642-19829-8_8openalex-snapshot
A Type-Theoretic Framework for Certified Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-21470-7_16openalex-snapshot
Tractable Model Transformation Testing
inferredcites →https://doi.org/10.1007/978-3-642-30476-7_3openalex-snapshot
Specification-Driven Test Generation for Model Transformations
inferredcites →https://doi.org/10.1007/978-3-642-30476-7_4openalex-snapshot
Typing Model Transformations Using Tracts
inferredcites →https://doi.org/10.1007/978-3-642-31491-9_9openalex-snapshot
Model Transformations for Migrating Legacy Models: An Industrial Case Study
inferredcites →https://doi.org/10.1007/978-3-642-33119-0_18openalex-snapshot
Evolving Human Competitive Spectra-Based Fault Localisation Techniques
inferredcites →https://doi.org/10.1007/978-3-642-33666-9_29openalex-snapshot
ATLTest: A White-Box Test Generation Approach for ATL Transformations
inferredcites →https://doi.org/10.1007/978-3-642-36089-3_19openalex-snapshot
On the Reusable Specification of Non-functional Properties in DSLs
inferredcites →https://doi.org/10.1007/978-3-642-41533-3_13openalex-snapshot
Testing M2T/T2M Transformations
inferredcites →https://doi.org/10.1007/978-3-662-54494-5_17openalex-snapshot
A Deductive Approach for Fault Localization in ATL Model Transformations
inferredcites →https://doi.org/10.1007/s10270-003-0020-3openalex-snapshot
Models in software engineering ? an introduction
inferredcites →https://doi.org/10.1007/s10270-006-0017-9openalex-snapshot
Matters of (Meta-) Modeling
inferredcites →https://doi.org/10.1007/s10270-007-0074-8openalex-snapshot
Qualifying input test data for model transformations
inferredcites →https://doi.org/10.1007/s10270-008-0093-0openalex-snapshot
Modularization of model transformations through a phasing mechanism
inferredcites →https://doi.org/10.1007/s10270-008-0110-3openalex-snapshot
On challenges of model transformation from UML to Alloy
inferredcites →https://doi.org/10.1007/s10270-009-0121-8openalex-snapshot
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
inferredcites →https://doi.org/10.1007/s10270-012-0245-0openalex-snapshot
Graph and model transformation tools for model migration
inferredcites →https://doi.org/10.1007/s10270-013-0369-xopenalex-snapshot
Specification-driven model transformation testing
inferredcites →https://doi.org/10.1007/s10270-014-0429-xopenalex-snapshot
Model transformation intents and their properties
inferredcites →https://doi.org/10.1007/s10270-016-0541-1openalex-snapshot
Quick fixing ATL transformations with speculative analysis
inferredcites →https://doi.org/10.1007/s10270-016-0548-7openalex-snapshot
Full contract verification for ATL using symbolic execution
inferredcites →https://doi.org/10.1007/s10515-012-0102-yopenalex-snapshot
Automated verification of model transformations based on visual contracts
inferredcites →https://doi.org/10.1007/s11219-016-9312-zopenalex-snapshot
Fault localization for automated program repair: effectiveness, performance, repair correctness
inferredcites →https://doi.org/10.1016/j.cl.2015.06.001openalex-snapshot
Model-driven engineering: A survey supported by the unified conceptual model
inferredcites →https://doi.org/10.1016/j.csi.2014.01.002openalex-snapshot
Specification and simulation of queuing network models using Domain-Specific Languages
inferredcites →https://doi.org/10.1016/j.infsof.2009.04.016openalex-snapshot
Higher Order Mutation Testing
inferredcites →https://doi.org/10.1016/j.infsof.2009.06.013openalex-snapshot
Is non-parametric hypothesis testing model robust for statistical fault localization?
inferredcites →https://doi.org/10.1016/j.infsof.2016.01.016openalex-snapshot
Subtle higher order mutants
inferredcites →https://doi.org/10.1016/j.infsof.2018.07.010openalex-snapshot
Testing bidirectional model transformation using metamorphic testing
inferredcites →https://doi.org/10.1016/j.jss.2009.06.035openalex-snapshot
A practical evaluation of spectrum-based fault localization
inferredcites →https://doi.org/10.1016/j.jss.2013.08.031openalex-snapshot
Slice-based statistical fault localization
inferredcites →https://doi.org/10.1016/j.jss.2017.05.043openalex-snapshot
Automated inference of likely metamorphic relations for model transformations
inferredcites →https://doi.org/10.1016/j.scico.2007.08.002openalex-snapshot
ATL: A model transformation tool
inferredcites →https://doi.org/10.1016/j.scico.2014.09.003openalex-snapshot
MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models
inferredcites →https://doi.org/10.1016/j.swevo.2011.02.002openalex-snapshot
A practical tutorial on the use of nonparametric statistical tests as a methodology for comparing evolutionary and swarm intelligence algorithms
inferredcites →https://doi.org/10.1109/ase.2002.1115027openalex-snapshot
VIATRA - visual automated transformations for formal verification and validation of UML models
inferredcites →https://doi.org/10.1109/ase.2009.25openalex-snapshot
Spectrum-Based Multiple Fault Localization
inferredcites →https://doi.org/10.1109/ase.2009.99openalex-snapshot
A Petri Net Based Debugging Environment for QVT Relations
inferredcites →https://doi.org/10.1109/aswec.2015.12openalex-snapshot
Multiple Bug Spectral Fault Localization Using Genetic Programming
inferredcites →https://doi.org/10.1109/compsac.2010.26openalex-snapshot
Effective Software Bug Localization Using Spectral Frequency Weighting Function
inferredcites →https://doi.org/10.1109/compsacw.2012.89openalex-snapshot
Effects of Class Imbalance in Test Suites: An Empirical Study of Spectrum-Based Fault Localization
inferredcites →https://doi.org/10.1109/esem.2013.22openalex-snapshot
How Significant is the Effect of Fault Interactions on Coverage-Based Fault Localizations?
inferredcites →https://doi.org/10.1109/icstw.2015.7107455openalex-snapshot
Towards systematic mutations for and with ATL model transformations
inferredcites →https://doi.org/10.1109/issre.2006.27openalex-snapshot
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
inferredcites →https://doi.org/10.1109/models.2017.12openalex-snapshot
Translating Target to Source Constraints in Model-to-Model Transformations
inferredcites →https://doi.org/10.1109/ms.2003.1231150openalex-snapshot
Model transformation: the heart and soul of model-driven software development
inferredcites →https://doi.org/10.1109/sere.2012.12openalex-snapshot
Software Fault Localization Using DStar (D*)
inferredcites →https://doi.org/10.1109/taic.part.2007.13openalex-snapshot
On the Accuracy of Spectrum-based Fault Localization
inferredcites →https://doi.org/10.1109/tr.2013.2285319openalex-snapshot
The DStar Method for Effective Software Fault Localization
inferredcites →https://doi.org/10.1109/tse.2006.105openalex-snapshot
Statistical Debugging: A Hypothesis Testing-Based Approach
inferredcites →https://doi.org/10.1109/tse.2009.3openalex-snapshot
Common Trends in Software Fault and Failure Data
inferredcites →https://doi.org/10.1109/tse.2010.62openalex-snapshot
An Analysis and Survey of the Development of Mutation Testing
inferredcites →https://doi.org/10.1109/tse.2013.17openalex-snapshot
Generating Test Data from OCL Constraints with Search Techniques
inferredcites →https://doi.org/10.1109/tse.2014.2372785openalex-snapshot
The Oracle Problem in Software Testing: A Survey
inferredcites →https://doi.org/10.1109/tse.2014.2375201openalex-snapshot
Static Fault Localization in Model Transformations
inferredcites →https://doi.org/10.1109/tse.2016.2521368openalex-snapshot
A Survey on Software Fault Localization
inferredcites →https://doi.org/10.1109/tse.2016.2532875openalex-snapshot
A Survey on Metamorphic Testing
inferredcites →https://doi.org/10.1109/tse.2016.2635137openalex-snapshot
Static Analysis of Model Transformations
inferredcites →https://doi.org/10.1109/tse.2017.2654255openalex-snapshot
Model Transformation Modularization as a Many-Objective Optimization Problem
inferredcites →https://doi.org/10.1109/vlhcc.2009.5295300openalex-snapshot
A graphical approach for modeling time-dependent behavior of DSLs
inferredcites →https://doi.org/10.1111/j.2044-8317.1968.tb00401.xopenalex-snapshot
DERIVING COEFFICIENTS OF RELIABILITY AND AGREEMENT FOR RATINGS
inferredcites →https://doi.org/10.1145/1101908.1101949openalex-snapshot
Empirical evaluation of the tarantula automatic fault-localization technique
inferredcites →https://doi.org/10.1145/1250734.1250782openalex-snapshot
Towards locating execution omission errors
inferredcites →https://doi.org/10.1145/1368088.1368116openalex-snapshot
An empirical study of the effects of test-suite reduction on fault localization
inferredcites →https://doi.org/10.1145/1852786openalex-snapshot
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
inferredcites →https://doi.org/10.1145/1868328.1868347openalex-snapshot
Exploiting count spectra for Bayesian fault localization
inferredcites →https://doi.org/10.1145/2000791.2000795openalex-snapshot
A model for spectra-based software diagnosis
inferredcites →https://doi.org/10.1145/2483760.2483785openalex-snapshot
Using automated program repair for evaluating the effectiveness of fault localization techniques
inferredcites →https://doi.org/10.1145/2487766.2487768openalex-snapshot
A research roadmap towards achieving scalability in model driven engineering
inferredcites →https://doi.org/10.1145/2522920.2522924openalex-snapshot
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization
inferredcites →https://doi.org/10.1145/2576768.2598308openalex-snapshot
Improved heuristics for solving OCL constraints using search algorithms
inferredcites →https://doi.org/10.1145/2814251.2814258openalex-snapshot
Distributed model-to-model transformation with ATL on MapReduce
inferredcites →https://doi.org/10.1145/3241744openalex-snapshot
Spectrum-Based Fault Localization in Model Transformations
inferredcites →https://doi.org/10.1147/sj.453.0621openalex-snapshot
Feature-based survey of model transformation approaches
inferredcites →https://doi.org/10.1214/aoms/1177731944openalex-snapshot
A Comparison of Alternative Tests of Significance for the Problem of $m$ Rankings
inferredcites →https://doi.org/10.2200/s00441ed1v01y201208swe001openalex-snapshot
Model-Driven Software Engineering in Practice
inferredcites →https://doi.org/10.2307/1165329openalex-snapshot
A Critique and Improvement of the "CL" Common Language Effect Size Statistics of McGraw and Wong
inferredcites →https://doi.org/10.2307/4615733openalex-snapshot
A Simple Sequentially Rejective Multiple Test Procedure
inferredcites →https://doi.org/10.25916/sut.26261771openalex-snapshot
On the analysis of spectrum-based fault localization
inferredcites →https://doi.org/10.3102/10769986025002101openalex-snapshot
A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong
inferredcites →https://doi.org/10.5381/jot.2011.10.1.a5openalex-snapshot
A Rewriting Logic Semantics for ATL.
inferredcites →https://doi.org/10.5381/jot.2012.11.2.a2openalex-snapshot
A Catalogue of Refactorings for Model-to-Model Transformations.
inferredcites →https://doi.org/10.5555/1926458.1926471openalex-snapshot
Henshin: advanced concepts and tools for in-place EMF model transformations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119880929.ch1openalex-snapshot
Software Fault Localization: an Overview of Research, Techniques, and Tools
inferred← citeshttps://doi.org/10.1007/978-3-030-41418-4_20openalex-snapshot
Metamorphic Testing in Fault Localization of Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-030-81915-6_12openalex-snapshot
AnATLyzer: Static Analysis of ATL Model Transformations
inferred← citeshttps://doi.org/10.1007/s10270-021-00891-0openalex-snapshot
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach
inferred← citeshttps://doi.org/10.1007/s10270-023-01123-3openalex-snapshot
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
inferred← citeshttps://doi.org/10.1007/s10270-024-01170-4openalex-snapshot
Improving repair of semantic ATL errors using a social diversity metric
inferred← citeshttps://doi.org/10.1007/s10270-024-01253-2openalex-snapshot
Boosting bug localization in software models of video games with simulations and component-specific genetic operations
inferred← citeshttps://doi.org/10.1007/s10270-026-01360-2openalex-snapshot
Have model transformation languages failed?
inferred← citeshttps://doi.org/10.1007/s10515-020-00271-wopenalex-snapshot
Multi-criteria test cases selection for model transformations
inferred← citeshttps://doi.org/10.1007/s11219-024-09676-2openalex-snapshot
A source model simplification method to assist model transformation debugging
inferred← citeshttps://doi.org/10.1007/s11704-023-2521-2openalex-snapshot
ContextAug: model-domain failing test augmentation with contextual information
inferred← citeshttps://doi.org/10.1016/j.jksuci.2021.08.011openalex-snapshot
Test case prioritization for model transformations
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110635openalex-snapshot
FCCI: A fuzzy expert system for identifying coincidental correct test cases
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111882openalex-snapshot
Ant-colony optimization for automating test model generation in model transformation testing
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111977openalex-snapshot
A language-parametric test coverage framework for executable domain-specific languages
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112508openalex-snapshot
Model transformation and property preservation in rigorous software development: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112576openalex-snapshot
Automated spectrum-based model fault localization within a search framework
inferred← citeshttps://doi.org/10.1109/access.2020.2966540openalex-snapshot
Fault Localization With Weighted Test Model in Model Transformations
inferred← citeshttps://doi.org/10.1109/access.2024.3454717openalex-snapshot
Dynamic Property Preservation in AIoT: A Machine Learning Approach for Data-Efficient Model Transformation
inferred← citeshttps://doi.org/10.1109/ase.2019.00054openalex-snapshot
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study
inferred← citeshttps://doi.org/10.1109/compsac61105.2024.00231openalex-snapshot
The Study of Student Program Analysis and Feedback System
inferred← citeshttps://doi.org/10.1109/icoict66265.2025.11193025openalex-snapshot
FABRIC - A Fault-aware BiLSTM Approach for Programming Bug Detection and Corrective Suggestion
inferred← citeshttps://doi.org/10.1109/ics51289.2020.00105openalex-snapshot
The Study of Programming Debugging and Intelligent Feedback System
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00025openalex-snapshot
Evaluating the Impact of Experimental Assumptions in Automated Fault Localization
inferred← citeshttps://doi.org/10.1109/icsme52107.2021.00039openalex-snapshot
SPICA: A Methodology for Reviewing and Analysing Fault Localisation Techniques
inferred← citeshttps://doi.org/10.1109/imcec66174.2025.11331821openalex-snapshot
CrossDiag: A Cross-Modal Consistent Framework for Hardware Fault Diagnosis
inferred← citeshttps://doi.org/10.1109/mitp.2020.3016728openalex-snapshot
Resilience in Smart City Applications: Faults, Failures, and Solutions
inferred← citeshttps://doi.org/10.1109/models.2019.00-13openalex-snapshot
Towards Effective Mutation Testing for ATL
inferred← citeshttps://doi.org/10.1109/models50736.2021.00011openalex-snapshot
Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules
inferred← citeshttps://doi.org/10.1109/pic.2018.8706285openalex-snapshot
A GMM and SVM Combined Approach for Automatically Software Fault Localization
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00032openalex-snapshot
Division by Zero: Threats and Effects in Spectrum-Based Fault Localization Formulas
inferred← citeshttps://doi.org/10.1109/tse.2023.3329730openalex-snapshot
Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven Engineering
inferred← citeshttps://doi.org/10.1145/3340108openalex-snapshot
Automated Reuse of Model Transformations through Typing Requirements Models
inferred← citeshttps://doi.org/10.1145/3472616openalex-snapshot
Bug Localization in Model-Based Systems in the Wild
inferred← citeshttps://doi.org/10.1145/3523056openalex-snapshot
Model Transformation Testing and Debugging: A Survey
inferred← citeshttps://doi.org/10.1145/3550355.3552440openalex-snapshot
Bug localization in game software engineering
inferred← citeshttps://doi.org/10.1145/3567512.3567532openalex-snapshot
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
inferred← citeshttps://doi.org/10.1145/3597926.3598148openalex-snapshot
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
inferred← citeshttps://doi.org/10.1145/3650212.3652138openalex-snapshot
Traceback: A Fault Localization Technique for Molecular Programs
inferred← citeshttps://doi.org/10.1145/3745027openalex-snapshot
FLITSR: Improved Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
inferred← citeshttps://doi.org/10.12677/sea.2022.116133openalex-snapshot
An Approach for Automatically Repairing ATL Model Transformation Programs
inferred← citeshttps://doi.org/10.3233/jifs-202931openalex-snapshot
Statement spectrum with two dimensional eigenvalues for intelligent software fault localization
inferred← citeshttps://doi.org/10.3390/app12147064openalex-snapshot
A Feedback System Supporting Students Approaching a High-Level Programming Course
inferred← citeshttps://doi.org/10.3390/s21217401openalex-snapshot
Software Fault Localization through Aggregation-Based Neural Ranking for Static and Dynamic Features Selection
inferred← citeshttps://doi.org/10.37190/e-inf210104openalex-snapshot
A Framework for the Regression Testing of Model-to-Model Transformations
inferred← citeshttps://doi.org/10.5381/jot.2021.20.3.a9openalex-snapshot
Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases.
inferred← citeshttps://doi.org/10.5381/jot.2022.21.4.a7openalex-snapshot
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach.
inferred← citeshttps://doi.org/10.70675/fcba4053zeadaz4a36z9d3ez69d18d6cc701openalex-snapshot
A testing framework for executable domain-specific languages
showing the first 48 of 49 · page through all 49
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.