Vincent Aranega

Learn More
A benefit of model-driven engineering relies on the automatic generation of artefacts from high-level models through intermediary levels using model transformations. In such a process, the input must be well designed, and the model transformations should be trustworthy. Because of the specificities of models and transformations, classical software test(More)
Model transformations are intrinsically related to model-driven engineering. According to the increasing size of standardised meta-model, large transformations need to be developed to cover them. Several approaches promote separation of concerns in this context, that is, the definition of small transformations in order to master the overall complexity.(More)
The Brazilian Cooperative Group for Treatment of Childhood Acute Lymphocytic Leukemia (GBTLI) has started clinical activities trials in 1980. Three consecutive multicenter studies in children with unprevious treated ALL have been completed including 994 patients. The first GBTLI-80 accrued 203 children from 1980 to 1982. It was delineated with the standard(More)
Model Driven Engineering (MDE) introduces the model paradigm as the basis of system design. It increases reusability in the development of complex systems. Nevertheless, with this new paradigm, traditional issues such as system debugging or system evolution management have to be performed in a different way. Existing techniques require to be adapted. We(More)
Techniques initially used for programs require modifications to be properly used with to model transformation characteristics. Mutation analysis is one of these techniques. IIt aims to qualify a test data set by analyzing the execution results of intentionally faulty program versions. If the degree of qualification is not satisfactory, the test data set has(More)
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints...) and process systems (activities, deliverables, roles...). However, exchanged information is often incomplete, vague and not entirely determined at the beginning of the project(More)
Graphics Processor Units (GPUs) are known for offering high performance and power efficiency for processing algorithms that suit well to their massively parallel architecture. Unfortunately, as parallel programming for this kind of architecture requires a complex distribution of tasks and data, developers find it difficult to implement their applications(More)
Model transformation can’t be directly tested using program techniques. Those have to be adapted to model characteristics. In this paper we focus on one test technique: mutation analysis. This technique aims to qualify a test data set by analyzing the execution results of intentionally faulty program versions. If the degree of qualification is not(More)