Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Mutation Operators for Concurrent Java (J2SE 5.0)
MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
Clone detection in automotive model-based development
Proceedings of the 30th international conference on Software engineering
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
Science of Computer Programming
A Mutation/Injection-Based Automatic Framework for Evaluating Code Clone Detection Tools
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Test-case generation for embedded simulink via formal concept analysis
Proceedings of the 48th Design Automation Conference
Models are code too: Near-miss clone detection for Simulink models
ICSM '12 Proceedings of the 2012 IEEE International Conference on Software Maintenance (ICSM)
| Hi-index | 0.00 |
Model-clone detection is a relatively new area and there are a number of different approaches in the literature. As the area continues to mature, it becomes necessary to evaluate and compare these approaches and validate new ones that are introduced. We present a mutation-analysis based model-clone detection framework that attempts to automate and standardize the process of comparing multiple Simulink model-clone detection tools or variations of the same tool. By having such a framework, new research directions in the area of model-clone detection can be facilitated as the framework can be used to validate new techniques as they arise. We begin by presenting challenges unique to model-clone tool comparison including recall calculation, the nature of the clones, and the clone report representation. We propose our framework, which we believe addresses these challenges. This is followed by a presentation of the mutation operators that we plan to inject into our Simulink models that will introduce variations of all the different model clone types that can then be searched for by each respective model-clone detector.