Fiche membre | Laboratoire des Sciences du Numérique de Nantes

Fiche membre Retour à l'annuaire

Jean-Marie MOTTU

ENSEIGNANT-CHERCHEUR

: Jean-Marie.Mottuatls2n.fr

Page pro : http://pagesperso.ls2n.fr/~mottu-jm/

Adresse :

Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

[1] F. Khorram, E. Bousse, A. Garmendia, J. Mottu, G. Sunyé, M. Wimmer. A language-parametric test coverage framework for executable domain-specific languages. In Journal of Systems and Software ; éd. Elsevier, 2024, vol. 211.
https://hal.science/hal-04448117

[2] F. Khorram, E. Bousse, J. Mottu, G. Sunyé. Advanced Testing and Debugging Support for Reactive Executable DSLs. In Software and Systems Modeling ; éd. Springer Verlag, 2023, vol. 22.
https://hal.science/hal-03723920

[3] I. Berrouyne, M. Adda, J. Mottu, M. Tisi. A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things. In IEEE Internet of Things Journal ; éd. IEEE, 2022, vol. 9, num. 20.
https://hal.science/hal-03916558

[4] F. Khorram, E. Bousse, J. Mottu, G. Sunyé. Adapting TDL to Provide Testing Support for Executable DSLs.. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2021, vol. 20, num. 3.
https://hal.science/hal-03265196

[5] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Source-Code Level Regression Test Selection: the Model-Driven Way. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2019, vol. 18, num. 2.
https://hal.science/hal-02333538

[6] G. Ursin, S. Sen, J. Mottu, M. Nygård. Protecting Privacy in Large Datasets—First We Assess the Risk; Then We Fuzzy the Data. In Cancer Epidemiology, Biomarkers and Prevention ; éd. American Association for Cancer Research, 2017, vol. 26, num. 8.
https://hal.science/hal-01628223

[7] V. Aranega, J. Mottu, A. Etien, T. Degueule, B. Baudry, J. Dekeyser. Towards an Automation of the Mutation Analysis Dedicated to Model Transformation. In Journal of Software Testing, Verification and Reliability ; éd. Wiley, 2014.
https://inria.hal.science/hal-00988164

[8] B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J. Mottu. Barriers to Systematic Model Transformation Testing. In Communications of the ACM ; éd. Association for Computing Machinery, 2010, vol. 53, num. 6.
https://inria.hal.science/inria-00542747

[9] J. Mottu, B. Baudry, Y. Le Traon. Construction de tests qualifiés de transformations de modèles. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2010, vol. 29 (2010).
https://hal.science/hal-00483585

Conférences internationales avec comité de lecture et actes (COMM_INT)

[10] H. Ajabri, J. Mottu, E. Bousse. Defining KPIs for Executable DSLs: A Manufacturing System Case Study. In 12th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2024), février 2024, Rome, Italie.
https://hal.science/hal-04453453

[11] F. Khorram, E. Bousse, J. Mottu, G. Sunyé, P. Gómez-Abajo, P. Cañizares, E. Guerra, J. de Lara. Automatic Test Amplification for Executable Models. In MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, octobre 2022, Montreal, Canada.
https://hal.science/hal-03745034v2

[12] F. Khorram, E. Bousse, A. Garmendia, J. Mottu, G. Sunyé, M. Wimmer. From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages. In SLE 2022: 15th ACM SIGPLAN International Conference on Software Language Engineering, décembre 2022, Auckland, Nouvelle-Zélande.
https://hal.science/hal-03815772

[13] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. In Advanced Information Networking and Applications, avril 2020, Nantes, France.
https://hal.science/hal-02943297

[14] T. Béziers La Fosse, Z. Cheng, J. Rocheteau, J. Mottu. Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks. In Software Engineering and Advanced Applications, août 2020, Portorož, Slovénie.
https://inria.hal.science/hal-02612730v2

[15] F. Khorram, J. Mottu, G. Sunyé. Challenges & Opportunities in Low-Code Testing. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), octobre 2020, Virtual, Canada.
https://hal.science/hal-02946812

[16] T. Béziers La Fosse, M. Tisi, J. Mottu, G. Sunyé. Annotating Executable DSLs with Energy Estimation Formulas. In SLE 2020 - Software Language Engineering, novembre 2020, Chicago, Illinois / Virtual, états-Unis.
https://inria.hal.science/hal-03001493

[17] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. CyprIoT: framework for modelling and controlling network-based IoT applications. In SAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, avril 2019, Limassol, Chypre.
https://hal.science/hal-02333578v2

[18] M. Tisi, J. Mottu, D. Kolovos, J. de Lara, E. Guerra, D. Di Ruscio, A. Pierantonio, M. Wimmer. Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms. In STAF 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), juillet 2019, Eindhoven, Pays-Bas.
https://hal.science/hal-02363416

[19] J. Mottu, P. Andre, M. Coutant, T. Le Berre. Shall We Test Service-Based Models or Generated Code?. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), septembre 2019, Munich, Allemagne.
https://hal.science/hal-02434955

[20] T. Béziers La Fosse, M. Tisi, E. Bousse, J. Mottu, G. Sunyé. Towards platform specific energy estimation for executable domain-specific modeling languages. In MODELS-C 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, septembre 2019, Munich, Allemagne.
https://hal.science/hal-02297501

[21] T. Béziers La Fosse, J. Mottu, M. Tisi, G. Sunyé. Characterizing a Source Code Model with Energy Measurements. In Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), octobre 2018, Oulu, Finlande.
https://inria.hal.science/hal-01952724

[22] A. Ferdjoukh, J. Mottu. Towards an Automated Fault Localizer while Designing Meta-models. In MDEbug 2018, octobre 2018, Copenhagen, Danemark.
https://hal.science/hal-01962451

[23] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. Towards Model-Based Communication Control for the Internet of Things. In STAF Workshops, juin 2018, Toulouse, France.In Manuel Mazzara (éds.), . Springer Verlag, 2018.
https://hal.science/hal-01984056

[24] P. Andre, C. Attiogbe, J. Mottu. Combining Techniques to Verify Service-based Components. In MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, février 2017, Porto, Portugal.
https://hal.science/hal-01628303

[25] M. Albonico, J. Mottu, G. Sunyé, F. Alvares. Making Cloud-based Systems Elasticity Testing Reproducible. In 7th International Conference on Cloud Computing and Services Science, avril 2017, Porto, Portugal.
https://inria.hal.science/hal-01471916v2

[26] M. Albonico, S. Alesio, J. Mottu, S. Sen, G. Sunyé. Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems. In CLOUD 2017 : 10th IEEE International Conference on Cloud Computing, juin 2017, Honolulu, états-Unis.
https://inria.hal.science/hal-01526275

[27] T. Béziers La Fosse, M. Tisi, J. Mottu. Injecting Execution Traces into a Model-Driven Framework for Program Analysis. In Workshop on Scalability in Model Driven Engineering (BigMDE'17), juillet 2017, Marburg, France.
https://hal.science/hal-01689968

[28] M. Albonico, J. Mottu, G. Sunyé. Monitoring-Based Testing of Elastic Cloud Computing Applications. In ICPE Companion (LT Workshop), mars 2016, Delft, Pays-Bas.
https://hal.science/hal-01317719

[29] P. Andre, J. Mottu, G. Sunyé. COSTOTest: a tool for building and running test harness for service-based component models (demo). In ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, juillet 2016, Saarbrücken, Allemagne.
https://hal.science/hal-01436067

[30] J. Mottu, S. Sen, J. Cadavid, B. Baudry. Discovering Model Transformation Pre-conditions using Automatically Generated Test Models. In IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, novembre 2015, Washington DC, états-Unis.
https://hal.science/hal-01228715

[31] P. Andre, G. Ardourel, J. Mottu. Assistance au test de modèles à composants et services. In 2ème Conférence en IngénieriE du Logiciel, avril 2013, Nancy, France.
https://hal.science/hal-00823319

[32] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Partial Test Oracle in Model Transformation Testing. In International Conference on Model Transformation (ICMT), juin 2013, Budapest, Hongrie.
https://hal.science/hal-00823231

[33] O. Finot, J. Mottu, G. Sunyé, T. Degueule. Using Meta-model Coverage to Qualify Test Oracles. In Analysis of Model Transformations, septembre 2013, Miami, états-Unis.
https://hal.science/hal-00918569

[34] P. Andre, J. Mottu, G. Ardourel. Building Test Harness From Service-based Component Models. In MoDeVVa 2013 Workshop on Model Driven Engineering, Verification and Validation, octobre 2013, Miami, états-Unis.In Frédéric Boulanger and Michalis Famelis and Daniel Ratiu (éds.), Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). , 2013.
https://hal.science/hal-00918505

[35] J. Mottu, S. Sen, M. Tisi, J. Cabot. Static Analysis of Model Transformations for Effective Test Generation. In ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, états-Unis.
https://inria.hal.science/hal-00752412

[36] S. Sen, J. Mottu, M. Tisi, J. Cabot. Using Models of Partial Knowledge to Test Model Transformations. In International Conference on Model Transformation, mai 2012, Prague, République tchèque.
https://inria.hal.science/hal-00692175

[37] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Poster : Comparaison de modèles filtrée pour le test de transformations de modèles. In Journées du GDR GPL, juin 2012, Rennes, France.
https://hal.science/hal-00920300

[38] O. Finot, J. Mottu, G. Sunyé, J. Attiogbe. Filtered Comparison for Oracle in ModelTransformation Testing. In ICTSS 2012 Ph.D. Workshop, novembre 2012, Aalborg, Danemark.
https://hal.science/hal-00918590

[39] V. Aranega, J. Mottu, A. Etien, J. Dekeyser. Traceability for Mutation Analysis in Model Transformation. In MODELS'10, octobre 2010, Oslo, Norvège.
https://hal.science/hal-00731016

[40] V. Aranega, J. Mottu, A. Etien, J. Dekeyser. Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation. In Workshop on Model driven Engineering Verification and Validation, octobre 2010, Olso, Norvège.
https://inria.hal.science/inria-00524150

[41] S. Sen, B. Baudry, J. Mottu. Automatic Model Generation Strategies for Model Transformation Testing. In Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., juin 2009, Zurich, Suisse.
https://inria.hal.science/inria-00468256

[42] V. Aranega, J. Mottu, A. Etien, J. Dekeyser. Traceability mechanism for error localization in model transformation. In ICSOFT 2009 - 4th International Conference on Software and Data Technologies, juillet 2009, Sofia, Bulgarie.
https://hal.science/hal-00461266

[43] J. Mottu, B. Baudry, Y. Le Traon. Model transformation testing : oracle issue. In MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norvège.
https://inria.hal.science/inria-00456951

[44] S. Sen, B. Baudry, J. Mottu. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. In IEEE International Conference on Software Testing, ICST'08, avril 2008, Lillehammer, Norway, Norvège.
https://inria.hal.science/inria-00456955

[45] J. Mottu, O. Barais, M. Skipper, D. Vojtisek, J. Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles. In 8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, juin 2007, , France.
https://hal.science/hal-00461532

[46] B. Baudry, T. Dinh-Trong, J. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, Y. Le Traon. Model Transformation Testing Challenges. In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Espagne.
https://inria.hal.science/inria-00542781

[47] J. Mottu, B. Benoit, Y. Le Traon. Mutation Analysis Testing for Model Transformations. In European Conference on Model Driven Architecture (ECMDA 06), juillet 2006, Bilbao, Spain, Espagne.
https://hal.science/hal-00456532

[48] J. Mottu, B. Baudry, L. Yves. Reusable MDA Components: A Testing-for-Trust Approach. In 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006., octobre 2006, Genova, Italie.
https://hal.science/hal-00461274

[49] J. Mottu, B. Baudry, Y. Le Traon, E. Brottier. Génération automatique de tests pour les transformations de modèles.. In 1ères Journées sur l'Ingénierie Dirigée par les Modèles, juin 2005, Paris, France.
https://hal.science/hal-00464816

Conférences nationales avec comité de lecture et actes (COMM_NAT)

[50] P. Andre, G. Ardourel, J. Mottu, G. Sunyé. Un outil d'assistance à la construction de tests de modèles à composants et services. In 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2017, Montpellier, France.
https://hal.science/hal-01628306

[51] M. Albonico, A. Benelallam, J. Mottu, G. Sunyé. A DSL-based Approach for Elasticity Testing of Cloud Systems. In Domain-Specific Model Workshop, octobre 2016, Amsterdam, Pays-Bas.
https://hal.science/hal-01437137

[52] O. Finot, J. Mottu, G. Sunyé, C. Attiogbé. Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles. In CIEL 2012, 2012, Rennes, France.
https://inria.hal.science/hal-00726538

[53] J. Mottu, B. Baudry, Y. Le Traon. Test de Transformation de Modèles : Expression d'Oracles. In 4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, 2008, Mulhouse, France, France.
https://inria.hal.science/inria-00456503

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

[54] M. Albonico, G. Sunyé, F. Alvares, J. Mottu. Controlling Cloud-Based Systems for Elasticity Test Reproduction. In Cloud Computing and Service Science. 14-07-2018
https://hal.science/hal-03603307

[55] V. Aranega, J. Mottu, A. Etien, J. Dekeyser. Using Trace to Situate Errors in Model Transformations. In Software and Data Technologies. 04-04-2011
https://inria.hal.science/inria-00589253

[56] J. Mottu. Oracles et qualification du test de transformations de modèles.. 26-11-2008
https://hal.science/hal-00461535

Theses et HDR (THESE)

[57] J. Mottu. Oracles et qualification du test de transformations de modèles. Thèses : Université Rennes 1.
https://theses.hal.science/tel-00514506

Autres publications (AUTRES)

[58] S. Bertrand, J. Mottu, C. Roullier, Y. Guitton. ChromAnnot a webserver for deep LC-HRMS/MS chromatogram annotation. In 15émes journées scientifiques du RFMF, mai 2023, Perpignan, France.
https://hal.science/hal-04321190

[59] M. Albonico, J. Mottu, G. Sunyé. Poster: Controlling the Elasticity of Web Applications on Cloud Computing. In SAC, avril 2016, Pisa, Italie.
https://hal.science/hal-01317728

[60] M. Albonico, J. Mottu, G. Sunyé. Poster: A Procedure for Testing Applications Through Cloud Computing Elasticity. In JDoc Day - ED STIM, avril 2016, Nantes, France.
https://hal.science/hal-01317543

[61] L. Ait Oubelli, J. Mottu, C. Attiogbé. Test Cases Evolution of Mobile Applications. Rapport technique, 2015 ; Université de Nantes.
https://hal.science/hal-01271467

[62] J. Mottu, O. Barais, M. Skipper, D. Vojtisek, J. Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles..
https://inria.hal.science/inria-00477561

[63] J. Mottu. Le test de transformations de modèles : automatisation de l'oracle.
https://hal.science/hal-00461536