Filtrer vos résultats
- 95
- 20
- 9
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 134
- 26
- 18
- 15
- 12
- 11
- 11
- 10
- 9
- 9
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 132
- 1
- 131
- 130
- 14
- 8
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 133
- 133
- 133
- 133
- 133
- 133
- 132
- 132
- 132
- 132
- 132
- 132
- 132
- 131
- 131
- 130
- 130
- 121
- 116
- 96
- 79
- 62
- 58
- 50
- 50
- 32
- 17
- 14
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 125
- 9
- 119
- 15
- 1
- 1
- 4
- 9
- 11
- 11
- 6
- 6
- 15
- 11
- 22
- 12
- 9
- 2
- 6
- 8
|
Towards Dependable Model Transformations: Qualifying Input Test DataSoftware and Systems Modeling, 2007
Article dans une revue
inria-00477567v1
|
||
Online Genetic Improvement on the java virtual machine with ECSELRGenetic Programming and Evolvable Machines, 2016, pp.1-27. ⟨10.1007/s10710-016-9278-4⟩
Article dans une revue
hal-01382964v1
|
|||
|
Managing Execution Environment Variability during Software Testing: An Industrial Experience24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.24-38, ⟨10.1007/978-3-642-34691-0_4⟩
Communication dans un congrès
hal-01482409v1
|
||
|
Reifying Concurrency for Executable MetamodelingSLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
Communication dans un congrès
hal-00850770v2
|
||
|
Composing Multi-View Aspect Models7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain
Communication dans un congrès
inria-00371221v1
|
||
|
Advanced and efficient execution trace management for executable domain-specific modeling languagesSoftware and Systems Modeling, 2019, pp.1-37. ⟨10.1007/s10270-017-0598-5⟩
Article dans une revue
hal-01614377v1
|
||
|
Searching the boundaries of a modeling space to test metamodelsFifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada
Communication dans un congrès
hal-00665866v1
|
||
|
Repairnator patches programs automaticallyUbiquity, 2019, July (2), pp.1-12. ⟨10.1145/3349589⟩
Article dans une revue
hal-02267512v1
|
||
|
Support for Reverse Engineering and Maintaining Feature ModelsVaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy
Communication dans un congrès
hal-00766786v1
|
||
|
A classification of invasive patterns in AOP[Research Report] RR-6501, INRIA. 2008
Rapport
inria-00266555v3
|
||
|
Model transformation testing : oracle issueMoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway
Communication dans un congrès
inria-00456951v1
|
||
|
Défis pour la variabilité et la traçabilité des exigences en ingénierie systèmeINFORSID 2011, May 2011, Lille, France
Communication dans un congrès
inria-00598668v1
|
||
|
Testing Model Transformations: A case for Test Generation from Input Domain ModelsBabau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
Chapitre d'ouvrage
inria-00468651v1
|
||
|
Generating Counterexamples of Model-based Software Product Lines: An Exploratory StudySPLC - 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan
Communication dans un congrès
hal-00837523v1
|
||
|
Variability Management in Domain-Specific LanguagesInternational School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. , 2014
Poster
hal-01077788v1
|
||
|
Modeling Modeling ModelingSoftware and Systems Modeling, 2012, 11 (3), pp.347-359. ⟨10.1007/s10270-010-0172-x⟩
Article dans une revue
inria-00538459v1
|
||
|
Modeling Model SlicersACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.62--76, ⟨10.1007/978-3-642-24485-8_6⟩
Communication dans un congrès
inria-00609072v2
|
||
|
Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , Sep 2016, Singapore, Singapore
Communication dans un congrès
hal-01343818v1
|
||
|
Generating Counterexamples of Model-based Software Product LinesInternational Journal on Software Tools for Technology Transfer, 2014
Article dans une revue
hal-01026581v1
|
||
|
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond[Research Report] hal-01067782, INRIA. 2014
Rapport
hal-01067782v1
|
||
|
Model Driven Mutation Applied to Adaptative Systems TestingIEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6
Communication dans un congrès
hal-00700444v1
|
||
|
Modeling ModelingACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States. pp.2-16
Communication dans un congrès
inria-00477528v1
|
||
|
Customization and 3D Printing: A Challenging Playground for Software Product Lines18th International Software Product Line Conference, Jul 2014, Florence, Italy
Communication dans un congrès
hal-01018937v1
|
||
|
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical StudyEmpirical Software Engineering, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩
Article dans une revue
hal-01096969v1
|
||
|
Classifying and Qualifying GUI Defects8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102582⟩
Communication dans un congrès
hal-01114724v2
|
||
|
Question-learn-test-feedback pattern to test emerging software construction paradigmsGénie logiciel [cs.SE]. Université Européenne de Bretagne, 2010
HDR
tel-00553854v1
|
||
|
Towards Scalable Multidimensional Execution Traces for xDSMLs11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01061740v1
|
||
|
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States
Communication dans un congrès
hal-01182517v2
|
||
|
Composing Models for Detecting Inconsistencies: A Requirements Engineering PerspectiveProceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), 2009, Amsterdam, Netherlands, Netherlands
Communication dans un congrès
inria-00468522v1
|
||
|
Test-Driven Assessment of Access Control in Legacy ApplicationsICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), 2008, Lillehammer, Norway
Communication dans un congrès
inria-00456953v1
|