Abdesselam Lakehal

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Abdesselam Lakehal, Ioannis Parissis
Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test. Verification Reliab. 19 (2) (2009)
Abdesselam Lakehal, Ioannis Parissis
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. AST (2007)
Abdesselam Lakehal, Ioannis Parissis
Structural test coverage criteria for lustre programs. FMICS (2005)
Abdesselam Lakehal, Ioannis Parissis
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE (2005)