Abdesselam Lakehal

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Abdesselam Lakehal, Ioannis Parissis: Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test., Verif. Reliab. 19(2): 133-154 (2009)

2005

1 Abdesselam Lakehal, Ioannis Parissis: Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE 2005: 301-310

	2009
2		Abdesselam Lakehal, Ioannis Parissis: Structural coverage criteria for LUSTRE/SCADE programs. Softw. Test., Verif. Reliab. 19(2): 133-154 (2009)
	2005
1		Abdesselam Lakehal, Ioannis Parissis: Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ISSRE 2005: 301-310

Coauthor Index

1 Ioannis Parissis [1] [2]