EEMCS

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

EEMCS EPrints Service


Research Project: STRESS: Systematic Testing of Real-time Software Systems
Home Policy Brochure Browse Search User Area Contact Help

2014

Belinfante, A.F.E. (2014) JTorX: Exploring Model-Based Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-319 ISBN 978-90-365-3707-0

2007

Belinfante, A.F.E. (2007) Extensible Synthetic File Servers? or: Structuring the Glue between Tester and System Under Test. In: Proceedings of the Second International Workshop on Plan 9 (IWP9 2007), 3-4 Dec 2007, Bell Labs, Murray Hill, NJ, USA. pp. 47-54. Bell Labs. ISBN not assigned
Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute ESI, Eindhoven, the Netherlands, pp. 115-128. ISBN 978-90-78679-02-8
Brandán Briones, L. (2007) Theories for Model-based Testing: Real-time and Coverage. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-97 ISBN 978-90-365-2476-6

2006

Belinfante, A.F.E. (2006) Experiments towards model-based testing using Plan 9: Labelled transition file systems, stacking file systems, on-the-fly coverage measuring. In: Proceedings of the First International Workshop on Plan 9, 4-5 Dec 2006, Madrid, Spain. pp. 53-64. Universidad Rey Juan Carlos. ISBN 84-690-2787-5
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. In: Automated Technology for Verification and Analysis, 23-26 Oct 2006. pp. 399-414. Lecture Notes in Computer Science 4218. Springer Verlag. ISBN 978-3-540-47237-7
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. Technical Report TR-CTIT-06-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2005

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
Bohnenkamp, H.C. and Belinfante, A.F.E. (2005) Timed Testing with TorX. In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK. pp. 173-188. Lecture Notes in Computer Science 3582. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-27882-6
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems. In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK. pp. 264-279. Lecture Notes in Computer Science 3785. Springer Verlag. ISBN 3 540 29797 9
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

2004

Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. Technical Report TR-CTIT-04-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems. In: Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, 21 Sep 2004, Linz, Austria. pp. 64-78. Lecture Notes in Computer Science 3395. Springer Verlag. ISBN 978-3-540-25109-5