BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:
A.Savary M.Frappier L.Burdy A.Requet G.Grimaud J.Vandewalle M.Leuschel L.d.Bousquet Y.Ledru O.Maury C.Oriat
Talks about:
base (3) model (2) test (2) java (2) card (2) use (2) intermedi (1) approach (1) softwar (1) languag (1)

Person: Jean-Louis Lanet

DBLP DBLP: Lanet:Jean=Louis

Contributed to:

SEFM 20152015
IFM 20132013
ASE 20042004
FME 20032003
ESEC/FSE 19991999

Wrote 5 papers:

SEFM-2015-SavaryFLL #modelling #robust #testing #using
Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
IFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
ASE-2004-BousquetLMOL #case study #validation
Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
FME-2003-BurdyRL #approach #correctness #developer #java
Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.
ESEC-FSE-1999-GrimaudLV #named #smarttech
FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.

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.