Search everything

46 Citations (Scopus)
79 Downloads (Pure)

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution

Belinfante, A., Mar 2010, Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010. Esparza, J. & Majumdar, R. (eds.). Berlin: Springer, p. 266-270 5 p. (Lecture Notes in Computer Science; vol. 6015).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
50 Downloads (Pure)

The Term Processor Generator Kimwitu

van Eijk, P., Belinfante, A., Eertink, H. & Alblas, H., Apr 1997, Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings. Brinksma, E. (ed.). Berlin, Heidelberg: Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 1217).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

Feasability of a syntax

Belinfante, A., 3 Jun 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Report generation with CSG

Belinfante, A., 31 Dec 1990, p. -.

Research output: Contribution to conferencePaper

Timed Testing with TorX: The Oosterschelde Storm Surge Barrier

Belinfante, A., 2002, Proceedings van de 8e Nederlandse Testdag. Rotterdam, p. - 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Representing the flattened data type in the common representation

Belinfante, A., 31 Dec 1990, p. -.

Research output: Contribution to conferencePaper

19 Downloads (Pure)

Publishing Your Prototype Tool on the Web: PUPTOL, a Framework

Belinfante, A. & Rensink, A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-15)

Research output: Book/ReportReportProfessional

File

The term processor Kimwitu: manual and cookbook

van Eijk, P. & Belinfante, A., 1992, Enschede: University of Twente. 44 p. (Memoranda Informatica; no. 92-67)

Research output: Book/ReportReportProfessional

The term processor Kimwitu: manual and cookbook

van Eijk, P. & Belinfante, A., 1990, Enschede: University of Twente. 32 p. (Memoranda Informatica; no. 90-45)

Research output: Book/ReportReportProfessional

Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie

Tretmans, G. J. & Belinfante, A., 2000, In : TestNet Nieuws - Nieuwsbrief van de vereniging TestNet. 4, 1, p. 8-10 3 p.

Research output: Contribution to journalArticleProfessional

Automated Testing in Practice: The Highway Tolling System

de Vries, R. G., Belinfante, A. & Feenstra, J., 2002, Testing of Communicating System XIV. Schieferdecker, I., Kônig, H. & Wolisz, A. (eds.). Berlin: Kluwer, p. - 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Lie in batch mode

Belinfante, A., 31 Dec 1990, p. -.

Research output: Contribution to conferencePaper

Addendum to the Term processor Manual

Belinfante, A., 31 Dec 1990, p. -.

Research output: Contribution to conferencePaper

46 Downloads (Pure)

Automatic Testing with Formal Methods

Tretmans, G. J. & Belinfante, A., Dec 1999, Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 99-17)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

Timed model-based testing

Bohnenkamp, H. C. & Belinfante, A., 2007, Tangram: Model-based integration and testing of complex high-tech systems. Tretmans, G. J. (ed.). Eindhoven, the Netherlands: Embedded Systems Institute ESI, p. 115-128 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File

Specification Based Formal Testing: The Easy Link Case Study

Belinfante, A., Feenstra, J., Heerink, A. W. & de Vries, R. G., 2001, Proceedings of Progress 2001 2nd workshop on Embedded Systems. p. - 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Downloads (Pure)

Automated Testing in Practice: The Highway Tolling System

de Vries, R. G., Belinfante, A. & Feenstra, J., 2002, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. Schieferdecker, I., König, H. & Wolisz, A. (eds.). Dordrecht: Kluwer Academic Publishers, p. 219-234 16 p. (IFIP Conference Proceedings; vol. 210).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Downloads (Pure)

The term processor Kimwitu: manual and cookbook

van Eijk, P. & Belinfante, A., 2000, Enschede: University of Twente. 49 p.

Research output: Book/ReportReportProfessional

Open Access
File
Cookbooks

Formal test automation: The conference protocol with TGV/TORX

Du bousquet, L., Ramangalahy, S., Simon, S., Viho, C., Belinfante, A. & de Vries, R. G., 24 Feb 2000, 13th Int. Conference on Testing of Communicating System (TestCom 2000). Ottawa, Canada, p. 221-228

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Errata and addenda for "the term processor Kimwitu - manual and cookbook" large beased on version V2-6 of Kimwitu

van Eijk, P. H. J. & Belinfante, A., 12 Feb 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

152 Downloads (Pure)

DFTCalc: a tool for efficient fault tree analysis (extended version)

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-13-13)

Research output: Book/ReportReportProfessional

File

Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

Belinfante, A., Brinksma, H., Feenstra, J., Tretmans, G. J. & de Vries, R. G., 2001, Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Heemstra de Groot, S. M. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 49-51 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Tools for Test Case Generation

Belinfante, A., Frantzen, L. & Schallhart, C., 2005, Model-Based Testing of Reactive Systems: Advanced Lectures. Broy, M., Jonsson, B., Katoen, J. P., Leucker, M. & Pretschner, A. (eds.). Berlin: Springer, p. 391-438 48 p. 10.1007/11498490_18. (Lecture Notes in Computer Science; vol. 3472, no. 3472).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)

The term processor generator Kimwitu

van Eijk, P., Belinfante, A., Eertink, H. & Alblas, H., 1997, Enschede: University of Twente. 15 p. (CTIT Technical Reports Series; no. 96-49)

Research output: Book/ReportReportProfessional

Open Access
File

The term processor Kimwitu: a system for generating language-based software

van Eijk, P., Belinfante, A. & Eertink, H., 1990, Enschede: University of Twente. 8 p. (Memoranda informatica; no. 90-70)

Research output: Book/ReportReportProfessional

Innovation
Productivity