Filtrer vos résultats
- 44
- 16
- 47
- 9
- 1
- 1
- 1
- 1
- 1
- 45
- 1
- 1
- 1
- 1
- 2
- 4
- 5
- 7
- 6
- 8
- 6
- 6
- 4
- 3
- 4
- 4
- 1
- 55
- 5
- 58
- 40
- 40
- 9
- 7
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 19
- 10
- 9
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 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
- 1
- 1
60 résultats
|
|
triés par
|
Automated Boundary Test Generation from {JML} SpecificationsFM'06, 14th Int. Conf. on Formal Methods, 2006, Canada. pp.428--443
Communication dans un congrès
hal-00662884v1
|
|||
Assessing the Quality of {B} ModelsSEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, 2010, Italy. pp.83--90
Communication dans un congrès
hal-00662917v1
|
|||
Assessing the Quality of B ModelsSEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. ⟨10.1109/SEFM.2010.17⟩
Communication dans un congrès
inria-00532974v1
|
|||
Test Generation using Symbolic Animation of ModelsZander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9
Chapitre d'ouvrage
inria-00532604v1
|
|||
|
Symbolic Animation of JML SpecificationsInternational Conference on Formal Methods - FM'05, Jul 2005, Newcastle upon Tyne, United Kingdom. pp.75-90, ⟨10.1007/b27882⟩
Communication dans un congrès
inria-00329983v1
|
||
|
Praspel: Contract-Driven Testing for PHP using Realistic Domains[Research Report] RR-8592, INRIA. 2014, pp.39
Rapport
hal-01061900v1
|
||
Model-based mutation testing from security protocols in HLPSLJournal of Software Testing, Verification and Reliability, 2015, pp.30. ⟨10.1002/stvr.1531⟩
Article dans une revue
istex
hal-01090881v1
|
|||
TASCCC - Project and Testing Tool (poster and demo)Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241
Communication dans un congrès
hal-00953275v1
|
|||
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
|
||
|
Combining Scenario- and Model-Based Testing to ensure POSIX ComplianceFirst International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.153-166, ⟨10.1007/978-3-540-87603-8⟩
Communication dans un congrès
inria-00329965v1
|
||
Efficient Detection of Multi-step Cross-Site Scripting VulnerabilitiesICISS'14, 10th Int. Conf. on Information Systems Security, Dec 2014, Hyderabad, India
Communication dans un congrès
hal-01089702v1
|
|||
|
Les défis du Test Logiciel - Bilan et PerspectivesJournées Nationales du GDR GPL, Jun 2014, Paris, France
Communication dans un congrès
hal-01953503v1
|
||
Mutation-Based Test Generation from Security Protocols in HLPSL4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. ⟨10.1109/ICST.2011.42⟩
Communication dans un congrès
inria-00559850v1
|
|||
Grey-Box Testing and Verification of Java/JML3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. pp.298-303, ⟨10.1109/ICSTW.2011.30⟩
Communication dans un congrès
hal-00640381v1
|
|||
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
|
|||
|
A Compositional Automata-based Semantics for Property PatternsiFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330
Communication dans un congrès
hal-00931093v1
|
||
TASCCC - Project and Testing Tool (poster)Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198
Communication dans un congrès
hal-00974765v1
|
|||
Guiding the Correction of Parameterized Specifications6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom
Communication dans un congrès
inria-00329977v1
|
|||
{jSynoPSys} -- A Scenario-Based Testing Tool based on the Symbolic Animation of {B} MachinesMBT'09 proceedings, 2009, United Kingdom. pp.117--132
Communication dans un congrès
hal-00662911v1
|
|||
|
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B MachinesElectronic Notes in Theoretical Computer Science, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.117-132. ⟨10.1016/j.entcs.2009.09.055⟩
Article dans une revue
inria-00429234v1
|
||
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Communication dans un congrès
hal-00640312v1
|
||
|
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
|
||
Grammar-Based Testing using Realistic Domains in PHPICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩
Communication dans un congrès
hal-00751321v1
|
|||
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Communication dans un congrès
hal-00640279v1
|
||
Experience report on Model-Based Testing of Security ComponentsUCAAT 2015, 3rd User Conference on Advanced Automated Testing, Bruno Legeard, Oct 2015, Sophia-Antipolis, France
Communication dans un congrès
hal-01244769v1
|
|||
|
EWET: Data collection and interface for the genetic analysis of Echinococcus multilocularis based on EmsB microsatellitePLoS ONE, 2017, 12 (10), pp.e0183849. ⟨10.1371/journal.pone.0183849⟩
Article dans une revue
hal-01667697v1
|
||
Apprentissage de la programmation en primaire : comment évaluer un jeu collaboratif ?IHM pour l'éducation, Aug 2017, Poitiers, France
Communication dans un congrès
hal-03167539v1
|
|||
|
Grey-box Testing and Verification of Java/JMLCSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011, 2011, Berlin, Germany. pp.298--303
Communication dans un congrès
hal-01223785v1
|
- 1
- 2