The multiple sequence alignment problem in biology
SIAM Journal on Applied Mathematics
ACM Computing Surveys (CSUR)
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Proceedings of the 17th IEEE international conference on Automated software engineering
Self-Nonself Discrimination in a Computer
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Anomaly Detection Using Real-Valued Negative Selection
Genetic Programming and Evolvable Machines
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Model comparison: a foundation for model composition and model transformation testing
Proceedings of the 2006 international workshop on Global integrated model management
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Automating model transformation by example using inductive logic programming
Proceedings of the 2007 ACM symposium on Applied computing
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Towards Model Transformation Generation By-Example
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Software defect prediction using artificial immune recognition system
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Model Transformation as an Optimization Problem
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model transformation testing: oracle issue
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Model Transformation by Demonstration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Model transformation is an important concern in software engineering today and rigorous techniques are needed to check transformation quality. In this paper, we propose a novel oracle function for model transformation testing that is based on the notion that the more a transformation deviates from well-known transformation examples, the more likely it is in error. Our approach takes its inspiration from the biological metaphor of immune systems, where pathogens are identified by their difference with normal body cells. We also propose a visualization module to explore transformation fragments according to their risk. We evaluate our approach with a complex transformation mechanism: Sequence Diagram to Colored Petri Nets. The validation results confirm the effectiveness and efficiency of our approach.