![[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 Study]()
[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