EEMCS

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

EEMCS EPrints Service


Author: Belinfante, A.F.E.
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
Sytema, M. and Belinfante, A.F.E. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423 *** ISI Impact 0,828 ***

2013

Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis. In: Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 24-27 Sep 2013, Toulouse, France. pp. 293-301. Lecture Notes in Computer Science 8153. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40793-2
Belinfante, A.F.E. and Rensink, A. (2013) Publishing Your Prototype Tool on the Web: PUPTOL, a Framework. Technical Report TR-CTIT-13-15, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2011

Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A.F.E. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 Aug 2011, Trento, Italy. pp. 117-133. Lecture Notes in Computer Science 6959. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24430-8

2010

Belinfante, A.F.E. (2010) JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, 22-25 March 2010, Paphos, Cyprus. pp. 266-270. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5

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

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

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

2002

Belinfante, A.F.E. (2002) Timed Testing with TorX: The Oosterschelde Storm Surge Barrier. In: Handout 8e Nederlandse Testdag, 20 Nov 2002, Rotterdam, the Netherlands. CMG. ISBN not assigned
de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1

2001

Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X

2000

Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. pp. 221-228. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Tretmans, G.J. and Belinfante, A.F.E. (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. TestNet Nieuws - Nieuwsbrief van de vereniging TestNet, 4 (1). pp. 8-10.
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A. (2000) Côte de Resyste in Progress. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht. pp. 141-148. Technology Foundation STW. ISBN 90-73461-25-1

1999

Belinfante, A.F.E. and Feenstra, J. and de Vries, R.G. and Tretmans, G.J. and Goga, N. and Feijs, L.M.G. and Mauw, S. and Heerink, A.W. (1999) Formal Test Automation: A Simple Experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. pp. 179-196. IFIP Conference Proceedings 147. Kluwer Academic Publishers. ISBN 0-7923-8581-0
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. Technical Report TR-CTIT-99-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. In: EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, 8-12 Nov 1999, Barcelona, Spain. EuroStar Conferences. ISBN not assigned

1997

van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1997) The Term Processor Generator Kimwitu. In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, April 2-4, 1997, Enschede, The Netherlands. pp. 96-111. Lecture Notes in Computer Science 1217. Springer Verlag. ISBN 3-540-62790-1

1996

van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1996) The Term Processor Generator Kimwitu (Full version). Technical Report 96-49, University of Twente.