[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
Lakehal, Abdesselam; Parissis, Ioannis
- 作者Lakehal, Abdesselam; Parissis, Ioannis
- 文件大小589.90KB
- 发表时间2007
- DOI10.1109/ast.2007.3
- 页码12-12