Boundary Coverage Criteria for Test Generation from Formal Models.

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting

Browse the full ISSRE paper archive.