Travelled to:1 × Cyprus
1 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:R.G.d.Vries ∅ H.C.Bohnenkamp J.Feenstra P.v.Eijk H.Eertink H.Alblas L.d.Bousquet S.Ramangalahy S.Simon C.Viho J.Tretmans N.Goga L.M.G.Feijs S.Mauw L.Heerink
Talks about:test (5) autom (3) formal (2) processor (1) protocol (1) practic (1) kimwitu (1) highway (1) generat (1) system (1)
Person: Axel Belinfante
DBLP: Belinfante:Axel
Contributed to:
2010
2005
2002200019991997Wrote 6 papers:
- TACAS-2010-Belinfante #execution #modelling #named #online
- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
- FM-2005-BohnenkampB #testing
- Timed Testing with TorX (HCB, AB), pp. 173–188.
- TestCom-2002-VriesBF #automation #testing
- Automated Testing in Practice: The Highway Tolling System (RGdV, AB, JF), pp. 219–234.
- TestCom-2000-BousquetRSVBV #automation #protocol #testing
- Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.
- IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing
- Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.
- TACAS-1997-EijkBEA #generative
- The Term Processor Generator Kimwitu (PvE, AB, HE, HA), pp. 96–111.