EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Broy, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.

2011

Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9

2005

Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., ed. (2005) Model-Based Testing of Reactive Systems, Advanced Lectures. Lecture Notes in Computer Science 3472. Springer-Verlag, Berlin. ISBN 3 540 26278 4
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C. (2005) Tools for Test Case Generation. In: Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science 3472. Springer Verlag, pp. 391-438. ISBN 3 540 26278 4
Brandán Briones, L. and Röhl, M. (2005) Test Derivation from Timed Automata. In: Model-Based Testing of Reactive Systems. Lecture Notes in Computer Science 3472. Springer Verlag, Berlin, pp. 201-231. ISBN 3 540 26278 4

1998

Wieringa, R.J. and Broersen, J.M. (1998) A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams. In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan. pp. 129-151. Technische Universitat Munchen TUM-I9803. ISBN not assigned
Wieringa, R.J. (1998) Postmodern Software Design with NYAM: Not Yet Another Method. In: International Workshop on Requirements Targeting Software and Systems Engineering (RTSE), 12-14 October 1997, Bernried, Germany. pp. 69-94. Lecture Notes in Computer Science 1526. Springer. ISBN 978-3-540-65309-7

This list was generated on Sun Apr 23 22:59:08 CEST 2017.