[IEEE 15th International Symposium on Software Reliability Engineering - Saint-Malo, Bretagne, France (02-05 Nov. 2004)] 15th International Symposium on Software Reliability Engineering - Boundary Coverage Criteria for Test Generation from Formal Models
Kosmatov, N., Legeard, B., Peureux, F., Utting, M.Year:
2004
Language:
english
DOI:
10.1109/ISSRE.2004.12
File:
PDF, 393 KB
english, 2004