SCOPUS 정보 검색 플랫폼

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, MBEES 2006

Volumn , Issue , 2006, Pages 27-33

Coverage criteria in the model-based test case generation: State of the art and perspectives;Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven

(2) Friske, Mario a Schlingloff, Bernd Holger a

a FRAUNHOFER FIRST (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84873296340 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (2)

References (10)

1
- 0003854750
- Object Technology Series. Addison Wesley
- Robert V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison Wesley, 1999.
- (1999) Testing Object-Oriented Systems: Models, Patterns, and Tools
- Binder, R.V.¹

2
- 38149132907
- Conformiq Software Ltd. Conformiq Test Generator. http://www.conformiq. com/.
- Conformiq Test Generator

3
- 38149115951
- Richtlinien - Von use cases zu statecharts in 7 schritten
- Fraunhofer IESE
- Christian Denger, Daniel Kerkow, Antje von Knethen, Maricel Medina Mora und Barbara Paech. Richtlinien - Von Use Cases zu Statecharts in 7 Schritten. IESE-Report Nr. 086.02/D, Fraunhofer IESE, 2002.
- (2002) IESE-Report Nr. 086.02/D
- Denger, C.¹ Kerkow, D.² Von Knethen, A.³ Medina Mora, M.⁴ Paech, B.⁵

4
- 36849041117
- Evalutating coverage based testing
- Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker und Alexander Pretschner Hrsg Jgg. 3472 of Lecture Notes in Computer Science, Seiten. Springer Verlag Berlin Heidelberg
- Christophe Gaston und Dirk Seifert. Evalutating Coverage Based Testing. In Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker und Alexander Pretschner, Hrsg., Model-Based Testing of Reactive Systems, Jgg. 3472 of Lecture Notes in Computer Science, Seiten 293-322. Springer Verlag Berlin Heidelberg, 2005.
- (2005) Model-Based Testing of Reactive Systems , pp. 293-322
- Gaston, C.¹ Seifert, D.²

5
- 77953201761
- Das türsteuergerät - Eine beispielspezifikation
- Fraunhofer IESE
- Frank Houdek und Barbara Paech. Das Türsteuergerät - eine Beispielspezifikation. IESE-Report Nr. 002.02/D, Fraunhofer IESE, 2002.
- (2002) IESE-Report Nr. 002.02/D
- Houdek, F.¹ Paech, B.²

6
- 84876132293
- I-Logix. Rhapsody Automatic Test Generator (ATG). http://www.ilogix.com/.
- Rhapsody Automatic Test Generator (ATG)

7
- 12344294689
- Spektrum Akadamischer Verlag
- Peter Liggesmeyer. Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akadamischer Verlag, 2002.
- (2002) Software-Qualität: Testen, Analysieren und Verifizieren von Software
- Liggesmeyer, P.¹

8
- 5444226064
- Test case design by means of the CTE XL
- Kopenhagen, Denmark, December
- Eckard Lehmann und Joachim Wegener. Test Case Design by Means of the CTE XL. Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000), Kopenhagen, Denmark, December 2000.
- (2000) Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000)
- Lehmann, E.¹ Wegener, J.²

9
- 0009771860
- IEEE Computer Society, Los Alamitos, 1st. Auflage
- R. M. Poston. Automating Specification-Based Software Testing. IEEE Computer Society, Los Alamitos, 1st. Auflage, 1996.
- (1996) Automating Specification-Based Software Testing
- Poston, R.M.¹

10
- 84876149208
- Reactive Systems Inc. Reactis. http://www.reactive-systems.com/.
- Reactis

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.