Fulltext present in this item

Thumbnail
Fulltext: 33162.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Tools for Test Case Generation
Author(s): Belinfante, A.; Frantzen, L. ; Schallhart, C.
Publication year: 2005
In: Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures, pp. 391-438
Publisher: [S.l.] : Springer Verlag
ISBN: 3540262784
Series: LNCS ; 3472
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/33162   https://hdl.handle.net/2066/33162

Display more details
Editor(s): Broy, M.; Jonsson, B.; Katoen, J.P.; Leucker, M.; Pretschner, A.
Subject: Informatics for Technical Applications
Organization: Informatics for Technical Applications
Book title: Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures
Page start: p. 391
Page end: p. 438

This item appears in the following Collection(s)

Browse

Statistics