Jan Feenstra

According to our database, Jan Feenstra authored at least 3 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Automated Testing in Practice: The Highway Tolling System.

René G. de Vries, Axel Belinfante, Jan Feenstra

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2000

Formal Test Automation: The Conference Protocol with PHACT.

Lex Heerink, Jan Feenstra, Jan Tretmans

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

Formal Test Automation: A Simple Experiment.

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999