Filter your results
- 44
- 16
- 47
- 9
- 1
- 1
- 1
- 1
- 1
- 45
- 1
- 1
- 1
- 1
- 2
- 4
- 5
- 6
- 7
- 8
- 6
- 6
- 4
- 2
- 4
- 5
- 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 Results
|
|
sorted by
|
Guiding the Correction of Parameterized Specifications6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom
Conference papers
inria-00329977v1
|
|||
|
A Compositional Automata-based Semantics for Property PatternsiFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330
Conference papers
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
Conference papers
hal-00974765v1
|
|||
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⟩
Conference papers
hal-00640381v1
|
|||
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⟩
Conference papers
inria-00559850v1
|
|||
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
Conference papers
inria-00329989v1
|
|||
Automated Boundary Test Generation from {JML} SpecificationsFM'06, 14th Int. Conf. on Formal Methods, 2006, Canada. pp.428--443
Conference papers
hal-00662884v1
|
|||
Assessing the Quality of {B} ModelsSEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, 2010, Italy. pp.83--90
Conference papers
hal-00662917v1
|
|||
|
Praspel: Contract-Driven Testing for PHP using Realistic Domains[Research Report] RR-8592, INRIA. 2014, pp.39
Reports
hal-01061900v1
|
||
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
Book sections
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⟩
Conference papers
inria-00329983v1
|
||
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⟩
Conference papers
inria-00532974v1
|
|||
|
Les défis du Test Logiciel - Bilan et PerspectivesJournées Nationales du GDR GPL, Jun 2014, Paris, France
Conference papers
hal-01953503v1
|
||
|
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⟩
Conference papers
inria-00329965v1
|
||
Efficient Detection of Multi-step Cross-Site Scripting VulnerabilitiesICISS'14, 10th Int. Conf. on Information Systems Security, Dec 2014, Hyderabad, India
Conference papers
hal-01089702v1
|
|||
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
Conference papers
hal-00953275v1
|
|||
Model-based mutation testing from security protocols in HLPSLJournal of Software Testing, Verification and Reliability, 2015, pp.30. ⟨10.1002/stvr.1531⟩
Journal articles
istex
hal-01090881v1
|
|||
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⟩
Conference papers
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⟩
Conference papers
inria-00329995v1
|
||
Model-Based Testing using Symbolic Animation and Machine LearningCSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France. pp.355--360
Conference papers
hal-00662918v1
|
|||
Building a Test-ready Abstraction of a Behavioral Model using {CLP}TAP'10, 4-th Int. Conf. on Tests and Proofs, 2010, Spain. pp.167--182
Conference papers
hal-00662919v1
|
|||
|
Model-Based Filtering of Combinatorial Test SuitesFASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Conference papers
hal-00935067v1
|
||
|
A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property PatternsFormal Aspects of Computing, 2015, 27 (4), pp.641-664. ⟨10.1007/s00165-014-0328-5⟩
Journal articles
hal-01228335v1
|
||
|
A B Formal Framework for Security Developments in the Domain of Smart Card Applications23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
Conference papers
inria-00329973v1
|
||
|
Teaching Model-Based Testing with {L}eirios {T}est {G}eneratorFORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
Conference papers
hal-00563286v1
|
||
|
Coverage Criteria for Model-Based Testing using Property PatternsMBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩
Conference papers
hal-01089687v1
|
||
Scenario-based testing from UML/OCL behavioral models Application to POSIX complianceInternational Journal on Software Tools for Technology Transfer, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩
Journal articles
istex
hal-00640379v1
|
|||
Apprentissage de la programmation en primaire : comment évaluer un jeu collaboratif ?IHM pour l'éducation, Aug 2017, Poitiers, France
Conference papers
hal-03167539v1
|
|||
Model-Based Filtering of Combinatorial Test SuitesFASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Conference papers
hal-00935068v1
|
|||
|
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
Conference papers
hal-01223785v1
|
- 1
- 2