Abdesselam Lakehal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2007
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICSE | Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. | Abdesselam Lakehal, Ioannis Parissis |
| 2005 | FMICS | Structural test coverage criteria for lustre programs. | Abdesselam Lakehal, Ioannis Parissis |
| 2005 | ISSRE | Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. | Abdesselam Lakehal, Ioannis Parissis |