BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Belinfante:Axel

Contributed to:

TACAS 20102010
FM 20052005
TestCom 20022002
TestCom 20002000
IWTCS 19991999
TACAS 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.