Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting. Boundary Coverage Criteria for Test Generation from Formal Models. In 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France. pages 139-150, IEEE Computer Society, 2004. [doi]
Abstract is missing.