EEMCS

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

EEMCS EPrints Service


Classification: FMT-TESTING
Home Policy Brochure Browse Search User Area Contact Help

2008

Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833 *** ISI Impact 1,082 ***
Calamé, J.R. and van de Pol, J.C. (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: Testing of Software and Communicating Systems, 10-13 Jun 2008, Tokyo, Japan. pp. 250-265. Lecture Notes in Computer Science 5047. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-68514-2

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
Blom, S.C.C. and Deiß, T. and Ioustinova, N. and Kontio, A. and van de Pol, J.C. and Rennoch, A. and Sidorova, N. (2007) TTCN-3 for Distributed Testing Embedded Software. In: Perspectives of Systems Informatics, 27-30 Jun 2006, Novosibirsk, Russia. pp. 98-111. Lecture Notes in Computer Science 4378. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70880-3
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
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005), 29 Nov 2005, Eindhoven, The Netherlands. pp. 25-48. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661

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

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

2003

Goga, N. (2003) Experimenting with the probabilistic TorX. In: Software Engineering for High Assurance Systems (SEHAS '03), 9-10 May 2003, Portland, Oregon, USA. pp. 13-20. Software Engineering Institute, Carnegie Mellon University, USA. ISBN not assigned
Goga, N. (2003) A probabilistic coverage for on-the-fly test generation algorithms. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS '03), 2-3 April 2003, Southampton, UK. Technical Report DSSE-TR-2003-2. ECS, University of Southampton. ISBN not assigned
Tretmans, G.J. and Brinksma, H. (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany. pp. 31-43. ISBN not assigned

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
Feijs, L.M.G. and Goga, N. and Mauw, S. and Tretmans, G.J. (2002) Test Selection, Trace Distance and Heuristics. In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom, March 19-22, 2002, Berlin, Germany. pp. 267-282. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1
Tretmans, G.J. and Brinksma, H. (2002) Côte de Resyste -- Automated Model Based Testing. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 246-255. Technology Foundation STW. ISBN 90-73461-34-0
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

Tretmans, G.J. and Brinksma, H., ed. (2001) Formal Approaches to Testing of Software FATES'01. Technical Report NS-01-4, BRICS Notes Series, Arhus, Denmark. ISSN 0909-3206
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
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
Brinksma, H. and Tretmans, G.J. (2001) Testing Transition Systems: An Annotated Bibliography. In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, June 19-23, 2000, Nantes, France. pp. 187-195. Lecture Notes in Computer Science 2067. Springer-Verlag. ISBN 3-540-42787-2
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (2001) Testing Timed Automata. Theoretical Computer Science, 254 (1-2). pp. 225-257. ISSN 0304-3975 *** ISI Impact 0,643 ***
Tretmans, G.J. (2001) Bugs buitensluiten - Automatisch testen vergroot kwaliteit software. De Ingenieur, 113 (2). pp. 24-25. ISSN 0020-1146
de Vries, R.G. (2001) Towards Formal Test Purposes. In: Formal Approaches to Testing of Software 2001 (FATES'01), August 25, 20, Aarhus, Denmark. pp. 61-76. BRICS Notes Series NS-01-4. ISSN 0909-3206

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
Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
de Vries, R.G. and Tretmans, G.J. (2000) On-the-fly conformance testing using Spin. International journal on software tools for technology transfer, 2 (4). pp. 382-393. ISSN 1433-2779
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
Brinksma, H. (1999) Formal Methods for Conformance Testing: Theory Can Be Practical! In: Computer Aided Verification: 11th International Conference (CAV), July 1999, Trento, Italy. pp. 44-46. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Tretmans, G.J. (1999) Testing Concurrent Systems: A Formal Approach. In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands. pp. 46-65. Lecture Notes in Computer Science 1664. Springer Verlag. ISBN 3-540-66425-4
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

1998

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems. pp. 67-82. IFIP Conference Proceedings 131. Kluwer Academic Publishers. ISBN 0-412-84430-3
Geurts, W. and Wijbrans, K.C.J. and Tretmans, G.J. (1998) Testing and Formal Methods - BOS Project Case Study. In: EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, 30 Nov - 01 Dec 1998, Munich, Germany. pp. 215-229. Aimware. ISBN not assigned
Heerink, A.W. (1998) Ins and Outs in Refusal Testing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 98-21 ISBN 90-365-1128-3
de Vries, R.G. and Tretmans, G.J. (1998) On-the-Fly Conformance Testing using Spin. In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France. pp. 115-128. Ecole Nationale Supérieure des Télécommunications. ISBN not assigned

1997

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X. pp. 143-166. IFIP International Federation for Information Processing. Chapman & Hall. ISSN 1571-5736 ISBN 0 412 81730 6
Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). pp. 23-38. IFIP Conference Proceedings; 107. Chapman & Hall. ISBN 0-412-82060-9
Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany. pp. 23-37. GMD-Studien 315. GMD-Forschungszentrum Informationstechnik GmbH. ISBN 3-88457-315-2

1996

Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 261-276. Chapman & Hall. ISBN 0-412-78790-3
Hogrefe, D. and Heymer, S. and Tretmans, G.J. (1996) Report on the Standardization Project "Formal Methods in Conformance Testing". In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 289-298. Chapman & Hall. ISBN 0-412-78790-3
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Technical Report TR-CTIT-96-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tretmans, G.J. (1996) Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer networks and ISDN systems, 29 (1). pp. 49-79. ISSN 0169-7552
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Software---Concepts and Tools, 3. pp. 103-120. ISSN 0945-8115
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany. pp. 127-146. Lecture Notes in Computer Science 1055. Springer Verlag. ISBN 3-540-61042-1

1995

Tretmans, G.J. (1995) Testing Labelled Transition Systems with Inputs and Outputs. In: Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4-6 Sept 1995, Evry, France. pp. 461-476. Institut National des Télécommunications. ISBN not assigned

1992

Tretmans, G.J. (1992) A Formal Approach to Conformance Testing. PhD thesis, University of Twente.