Abdesselam Lakehal

According to our database, Abdesselam Lakehal authored at least 5 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Structural coverage criteria for LUSTRE/SCADE programs.

Abdesselam Lakehal, Ioannis Parissis

Softw. Test. Verification Reliab., 2009

2007

Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study.

Abdesselam Lakehal, Ioannis Parissis

Proceedings of the Second International Workshop on Automation of Software Test, 2007

2006

Critères de couverture structurelle pour les programmes Lustre. (Strurtural coverage criteria for Lustre programs).

Abdesselam Lakehal

PhD thesis, 2006

2005

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs.

Abdesselam Lakehal, Ioannis Parissis

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Structural test coverage criteria for lustre programs.

Abdesselam Lakehal, Ioannis Parissis

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005