- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Frantzen, L."
Now showing items 1-11 of 11
-
The PLASTIC Framework and Tools for Testing Service-Oriented Applications Bertolino, A.; Angelis, G. De; Frantzen, L. ; Polini, A.2009, Article in monograph or in proceedings (Lucia, A. De; Ferrucci, F. (ed.), Software Engineering : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures, pp. 106-139) -
Model-Based Generation of Testbeds for Web Services Bertolino, A.; Angelis, G. De; Frantzen, L. ; Polini, A.2008, Article in monograph or in proceedings (Suzuki., K. (ed.), Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings, pp. 266-282)
-
Model-Based Testing of Environmental Conformance of Components 2007, Article in monograph or in proceedings (Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects -- FMCO 2006, pp. 1-25) -
A Symbolic Framework for Model-Based Testing 2006, Article in monograph or in proceedings (Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification - FATES/RV'06, pp. 40-54)
-
Towards Model-Based Testing of Web Services Frantzen, L. ; Tretmans, J. ; Vries, R. de2006, Article in monograph or in proceedings (Bertolino, A.; Polini, A. (ed.), International Workshop on Web Services - Modeling and Testing (WS-MaTe2006), pp. 67-82)
-
Audition of Web Services for Testing Conformance to Open Specified Protocols Bertolino, A.; Frantzen, L. ; Polini, A.; Tretmans, J.2006, Article in monograph or in proceedings (Reussner, R.H.; Stafford, J.A.; Szyperski, C.A. (ed.), Architecting Systems with Trustworthy Components, pp. 1-25)
-
Tools for Test Case Generation Belinfante, A.; Frantzen, L. ; Schallhart, C.2005, Article in monograph or in proceedings (Model-Based Testing of Reactive Systems - A Seminar Volume, pp. 391-438)
-
Test Generation Based on Symbolic Specifications 2005, Article in monograph or in proceedings (Grabowski, J.; Nielsen, B. (ed.), FATES 2004, pp. 1-15)
-
Tools for Test Case Generation Belinfante, A.; Frantzen, L. ; Schallhart, C.2005, Part of book or chapter of book (Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures, pp. 391-438)
-
On-the-Fly Formal Testing of a Smart Card Applet 2005, Article in monograph or in proceedings (Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Proceedings of the 20th IFIP TC11 International Information Security Conference, pp. 564-576)
-
On-the-Fly Formal Testing of a Smart Card Applet Weelden, A. van ; Frantzen, L. ; Oostdijk, M.D. ; Koopman, P.; Tretmans, G.J.2004, External research report
Now showing items 1-11 of 11
Search Repository
Browse
-
All of Repository
Upload Full Text