Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- data generators 8 Treffer
- uml/ocl 8 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.8: testing tools (e.g. 7 Treffer
- coverage testing) 7 Treffer
- coverage 5 Treffer
-
17 weitere Werte:
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.6: monitors 4 Treffer
- generation de tests a partir de modeles 4 Treffer
- abstraction 3 Treffer
- automata 3 Treffer
- collaboration 3 Treffer
- parallelisation 3 Treffer
- random generation 3 Treffer
- critical systems 2 Treffer
- evolving systems 2 Treffer
- functional testing 2 Treffer
- security testing 2 Treffer
- systemes critiques 2 Treffer
- test fonctionnel 2 Treffer
- test purpose 2 Treffer
- model animation 1 Treffer
- temporal property 1 Treffer
- test de securite 1 Treffer
Verlag
Sprache
Geographischer Bezug
Inhaltsanbieter
16 Treffer
-
In: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩, 2011Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩, 2011Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩, 2011Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩, 2011Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://hal.inria.fr/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩, 2011Online KonferenzZugriff:
-
In: A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, 2010KonferenzZugriff:
-
In: A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, 2010KonferenzZugriff:
-
In: A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, 2010KonferenzZugriff:
-
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://inria.hal.science/inria-00429236 ; Electronic Notes in Theoretical Computer Science, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩, 2009academicJournalZugriff:
-
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://inria.hal.science/inria-00429236 ; Electronic Notes in Theoretical Computer Science, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩, 2009academicJournalZugriff:
-
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/inria-00429236 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩, 2009academicJournalZugriff:
-
In: https://inria.hal.science/tel-01094360 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français. ⟨NNT : ⟩, 2013Online HochschulschriftZugriff:
-
In: https://inria.hal.science/tel-01094360 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français. ⟨NNT : ⟩, 2013Online HochschulschriftZugriff:
-
In: https://hal.inria.fr/tel-01094360 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français, 2013Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00861015 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2012. Français. ⟨NNT : ⟩, 2012Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-00861015 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2012. Français, 2012Online HochschulschriftZugriff: