Filtrer vos résultats
- 52
- 13
- 44
- 9
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 65
- 2
- 2
- 3
- 1
- 4
- 5
- 4
- 6
- 7
- 2
- 1
- 4
- 5
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 54
- 11
- 32
- 27
- 26
- 18
- 5
- 5
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 65
- 23
- 12
- 11
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
65 résultats
|
|
Automatic Model Generation Strategies for Model Transformation TestingSecond International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., Jun 2009, Zurich, Switzerland. pp.148-164
Communication dans un congrès
inria-00468256v1
|
||
Génération automatique de tests pour les transformations de modèles.1ères Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2005, Paris, France. pp. 83-97
Communication dans un congrès
hal-00464816v1
|
|||
Mutation Analysis Testing for Model TransformationsEuropean Conference on Model Driven Architecture (ECMDA 06), Jul 2006, Bilbao, Spain, Spain. pp 376 - 390
Communication dans un congrès
hal-00456532v1
|
|||
|
|
Automated Workload Generation for Testing Elastic Web Applications2016
Pré-publication, Document de travail
hal-01317723v1
|
||
|
|
Characterizing a Source Code Model with Energy MeasurementsWorkshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Communication dans un congrès
hal-01952724v1
|
||
|
|
Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering PlatformsSTAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Jul 2019, Eindhoven, Netherlands
Communication dans un congrès
hal-02363416v1
|
||
|
|
Automatic Test Amplification for Executable ModelsMODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal, Canada. pp.109-120, ⟨10.1145/3550355.3552451⟩
Communication dans un congrès
hal-03745034v2
|
||
|
|
Test Cases Evolution of Mobile Applications[Research Report] Université de Nantes. 2015
Rapport
hal-01271467v1
|
||
|
|
Using Models of Partial Knowledge to Test Model TransformationsInternational Conference on Model Transformation, May 2012, Prague, Czech Republic
Communication dans un congrès
hal-00692175v1
|
||
Using Traceability to Enhance Mutation Analysis Dedicated to Model TransformationWorkshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway
Communication dans un congrès
inria-00524150v1
|
|||
|
|
Traceability for Mutation Analysis in Model TransformationMODELS'10, Oct 2010, Oslo, Norway. pp.259-273, ⟨10.1007/978-3-642-21210-9_25⟩
Communication dans un congrès
hal-00731016v1
|
||
|
|
A Model-Driven Methodology to Accelerate Software Engineering in the Internet of ThingsIEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. ⟨10.1109/JIOT.2022.3170500⟩
Article dans une revue
hal-03916558v1
|
||
|
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.2007
Autre publication scientifique
inria-00477561v1
|
||
Poster : Comparaison de modèles filtrée pour le test de transformations de modèlesJournées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Communication dans un congrès
hal-00920300v1
|
|||
Comparaison de Modèles Filtrée pour le Test de Transformations de ModèlesCIEL 2012, 2012, Rennes, France
Communication dans un congrès
hal-00726538v1
|
|||
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Communication dans un congrès
hal-00461532v1
|
|||
|
|
On Combining Multi-formalism Knowledge to Select Models for Model Transformation TestingIEEE International Conference on Software Testing, ICST'08, Apr 2008, Lillehammer, Norway, Norway. pp.328-337
Communication dans un congrès
inria-00456955v1
|
||
|
|
Generating Test Sequences to Assess the Performance of Elastic Cloud-based SystemsCLOUD 2017 : 10th IEEE International Conference on Cloud Computing, Jun 2017, Honolulu, United States. ⟨10.1109/CLOUD.2017.56⟩
Communication dans un congrès
hal-01526275v1
|
||
|
|
Annotating Executable DSLs with Energy Estimation FormulasSLE 2020 - Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩
Communication dans un congrès
hal-03001493v1
|
||
|
|
Model-Driven Engineering of Monitoring Application for Sensors and Actuators NetworksSoftware Engineering and Advanced Applications, Aug 2020, Portorož, Slovenia
Communication dans un congrès
hal-02612730v2
|
||
|
|
Injecting Execution Traces into a Model-Driven Framework for Program AnalysisWorkshop on Scalability in Model Driven Engineering (BigMDE'17), Jul 2017, Marburg, France
Communication dans un congrès
hal-01689968v1
|
||
|
|
A language-parametric test coverage framework for executable domain-specific languagesJournal of Systems and Software, 2024, 211, pp.111977. ⟨10.1016/j.jss.2024.111977⟩
Article dans une revue
hal-04448117v1
|
||
|
|
Test de Transformation de Modèles : Expression d'Oracles4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France
Communication dans un congrès
inria-00456503v1
|
||
Reusable MDA Components: A Testing-for-Trust Approach9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006., Oct 2006, Genova, Italy. pp. 589-603
Communication dans un congrès
hal-00461274v1
|
|||
|
|
ChromAnnot a webserver for deep LC-HRMS/MS chromatogram annotation15émes journées scientifiques du RFMF, May 2023, Perpignan, France. 2023
Poster de conférence
hal-04321190v1
|
||
|
|
Model Transformation Testing ChallengesECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain
Communication dans un congrès
inria-00542781v1
|
||
|
|
Oracles et qualification du test de transformations de modèlesGénie logiciel [cs.SE]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00514506v1
|
||
|
|
Building Test Harness From Service-based Component ModelsMoDeVVa 2013 Workshop on Model Driven Engineering, Verification and Validation, Oct 2013, Miami, United States. pp. 11-20, ISSN 1613-0073
Communication dans un congrès
hal-00918505v1
|
||
|
|
Towards Model-Based Communication Control for the Internet of ThingsSTAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Communication dans un congrès
hal-01984056v1
|
||
|
|
Shall We Test Service-Based Models or Generated Code?2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.493-502, ⟨10.1109/MODELS-C.2019.00078⟩
Communication dans un congrès
hal-02434955v1
|