Using correctness, consistency, and completeness patterns for automated scenarios verification.

Edgar Sarmiento, Julio Csar Sampaio do Prado Leite, Eduardo Almentero

Browse the full RE paper archive.