Jan Feenstra

Publication Activity (10 Years)

Years Active: 1999-2002
Publications (10 Years): 0

Publications

René G. de Vries, Axel Belinfante, Jan Feenstra
Automated Testing in Practice: The Highway Tolling System. TestCom (2002)
Lex Heerink, Jan Feenstra, Jan Tretmans
Formal Test Automation: The Conference Protocol with PHACT. TestCom (2000)
Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
Formal Test Automation: A Simple Experiment. IWTCS (1999)