Travelled to:1 × Japan
1 × Portugal
1 × United Kingdom
Collaborated with:J.v.d.Pol N.Ioustinova N.Sidorova S.Blom B.Lisser S.Orzan J.Pang M.T.Dashti A.Wijs
Talks about:studi (2) case (2) compendium (1) distribut (1) analysi (1) render (1) negat (1) model (1) engin (1) appli (1)
Person: Jens R. Calame
DBLP: Calame:Jens_R=
Contributed to:
2008
2007
2007Wrote 3 papers:
- TestCom-FATES-2008-CalameP #case study #html #modelling #testing
- Applying Model-Based Testing to HTML Rendering Engines — A Case Study (JRC, JvdP), pp. 250–265.
- IFM-2007-CalameIPS #debugging
- Bug Hunting with False Negatives (JRC, NI, JvdP, NS), pp. 98–117.
- TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
- Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.