[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Structural test coverage criteria for lustre programsLakehal, Abdesselam; Parissis, Ioannis · 2005

[IEEE Second International Workshop on Automation of Software Test (AST '07) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] Second International Workshop on Automation of Software Test (AST '07) - Automated Measure of Structural Coverage for LUSTRE Programs: a Case StudyLakehal, Abdesselam; Parissis, Ioannis · 2007