Filtrer vos résultats
- 43
- 21
- 47
- 8
- 6
- 2
- 1
- 1
- 54
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 8
- 5
- 7
- 12
- 4
- 1
- 5
- 4
- 4
- 58
- 6
- 61
- 41
- 41
- 6
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 64
- 21
- 19
- 12
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
64 résultats
|
Automated Boundary Test Generation from JML Specifications14th international symposium on Formal Methods - FM'06, Aug 2006, Hamilton, Canada. pp.428-443, ⟨10.1007/11813040⟩
Communication dans un congrès
inria-00329979v1
|
||
|
Test Generation Based on Abstraction and Test Purposes to Complement Structural TestsA-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, 2010, France. pp.54--61
Communication dans un congrès
hal-00563306v1
|
||
Applying an MBT Toolchain to Automotive Embedded Systems: Case Study ReportsVALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012, Nov 2012, Lisbon, Portugal. pp.139--144
Communication dans un congrès
hal-00762072v1
|
|||
|
Instantiation of Parameterized Data Structures for Model-Based Testing7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. pp.96--110, ⟨10.1007/11955757⟩
Communication dans un congrès
hal-00563282v1
|
||
Model-Based Testing for Functional and Security Test GenerationAlessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer International Publishing, pp.33, 2014, LNCS, 978-3-319-10081-4. ⟨10.1007/978-3-319-10082-1_1⟩
Chapitre d'ouvrage
hal-01093442v1
|
|||
UML/OCL based impact analysis to test evolving critical software10th International Conference Society for Electronics, Telecommunications, Automatics and Informatics - ETAI'11, Sep 2011, Ohrid, Macedonia
Communication dans un congrès
hal-00649252v1
|
|||
A SysML Formal Framework to Combine Discrete and Continuous Simulation for TestingICFEM'15, 17th Int. Conf. on Formal Engineering Methods, 2015, Paris, France. pp.134--152
Communication dans un congrès
hal-01246024v1
|
|||
|
Modeling and simulation of modular complex system: Application to air-jet conveyorAdvanced Intelligent Mechatronics (AIM), Jul 2014, Besançon, France. pp.6, ⟨10.1109/AIM.2014.6878244⟩
Communication dans un congrès
hal-01093474v1
|
||
Using Constraint Logic Programming for the Symbolic Animation of Formal ModelsProceedings of the International Workshop on Constraints in Formal Verification - CFV'05, Jul 2005, Tallinn, Estonia. pp.32-46
Communication dans un congrès
inria-00329989v1
|
|||
|
Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and PerformanceSpecial Session on European Regulations for Medical Devices: What Are the Lessons Learned after 1 Year of Implementation?, Feb 2024, Rome, Italy. ⟨10.5220/0012593900003657⟩
Communication dans un congrès
hal-04501305v1
|
||
|
Génération de tests à partir de critères dynamiques de sélection et par abstractionAFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, 2009, France. pp.161--176
Communication dans un congrès
hal-00563326v1
|
||
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based TestingECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. pp.134--151, ⟨10.1007/978-3-642-39013-5_10⟩
Communication dans un congrès
istex
hal-00913694v1
|
|||
Selective Test Generation Method for Evolving Critical Systems1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. pp.125 - 134, ⟨10.1109/ICSTW.2011.95⟩
Communication dans un congrès
hal-00640384v1
|
|||
|
JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLPInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'05, Apr 2005, Edinburgh, United Kingdom. pp.551-556, ⟨10.1007/b107194⟩
Communication dans un congrès
inria-00329995v1
|
||
Vérification et Test pour des systèmes évolutifsAFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164
Communication dans un congrès
hal-00762079v1
|
|||
Contract-based testing for PHP with PraspelJournal of Systems and Software , 2018, 136, pp.209 - 222
Article dans une revue
hal-02129724v1
|
|||
From Business Processes to Integration Testing5èmes journées sur l'Ingénierie Dirigée par les Modèles - IDM 2009, Loria, Mar 2009, Nancy, France. pp.49-64
Communication dans un congrès
inria-00430539v1
|
|||
|
Automated UML models merging for web services testingInternational Journal of Web and Grid Services, 2009, 5 (2), pp.107--129. ⟨10.1504/IJWGS.2009.027569⟩
Article dans une revue
hal-00560822v1
|
||
|
Safety Property Driven Test Generation from {JML} SpecificationsFATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, 2006, Seattle, United States. pp.225--239, ⟨10.1007/11940197⟩
Communication dans un congrès
hal-00563280v1
|
||
|
A subset of precise {UML} for model-based testingA-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, 2007, United Kingdom. pp.95--104
Communication dans un congrès
hal-00563283v1
|
||
Introduction à l'approche agentSimulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015
Chapitre d'ouvrage
hal-01246023v1
|
|||
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based TestingECMFA'13, 9-th European Conference on Modelling Foundations and Applications, Jan 2013, France. pp.134 - 151
Communication dans un congrès
hal-00931922v1
|
|||
|
Grammar-Based Testing using Realistic Domains in PHPA-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation, Jan 2012, Canada. pp.509--518
Communication dans un congrès
hal-00931662v1
|
||
Description Formalisms in Agent ModelsAgent-based Spatial Simulation with Netlogo - Volume 1, pp.29-73, 2015, 9781785480553. ⟨10.1016/B978-1-78548-055-3.50002-2⟩
Chapitre d'ouvrage
halshs-01453397v1
|
|||
|
Formalismes de description des modèles agentSimulation spatiale à base d'agents avec NetLogo 1 : introduction et bases, ISTE Editions, pp.37-72, 2015, Collection Systèmes d'Information, Web et Informatique Ubiquitaire
Chapitre d'ouvrage
hal-01253056v1
|
||
Building a Test-ready Abstraction of a Behavioral Model using CLP4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. pp.167-182, ⟨10.1007/978-3-642-13977-2_14⟩
Communication dans un congrès
istex
inria-00532608v1
|
|||
Building a Test-ready Abstraction of a Behavioral Model using CLPTAP'10, 4-th Int. Conf. on Tests and Proofs, 2010, Malaga, Spain. pp.167--182
Communication dans un congrès
hal-01313629v1
|
|||
|
A Constraint Solver for PHP ArraysICST Workshops, Jan 2013, Luxembourg. pp.218 - 223
Communication dans un congrès
hal-00935308v1
|
||
|
Checking JML Specifications with B MachinesInternational Conference on Formal Specification and Development in Z and B - ZB'05, Apr 2005, Guildford, United Kingdom. pp.434-453, ⟨10.1007/b135596⟩
Communication dans un congrès
inria-00329986v1
|
||
|
How Symbolic Animation can help designing an Efficient Formal Model7th International Conference on Formal Engineering Methods - ICFEM 2005, Nov 2005, Manchester, France. pp.96-110, ⟨10.1007/11576280⟩
Communication dans un congrès
inria-00329938v1
|