Travelled to:1 × Austria
1 × Japan
1 × USA
Collaborated with:J.Tretmans T.A.C.Willemse A.Bertolino G.D.Angelis A.Polini
Talks about:base (3) generat (2) symbol (2) model (2) test (2) framework (1) specif (1) servic (1) testb (1) web (1)
Person: Lars Frantzen
DBLP: Frantzen:Lars
Contributed to:
200820062004Wrote 3 papers:
- TestCom-FATES-2008-BertolinoAFP #generative #modelling #web #web service
- Model-Based Generation of Testbeds for Web Services (AB, GDA, LF, AP), pp. 266–282.
- FATES-RV-2006-FrantzenTW #framework #modelling #testing
- A Symbolic Framework for Model-Based Testing (LF, JT, TACW), pp. 40–54.
- FATES-2004-FrantzenTW #generative #specification #testing
- Test Generation Based on Symbolic Specifications (LF, JT, TACW), pp. 1–15.