Using the requirements specification to infer the implicit test status of requirements.

Tobias Morciniec, Andreas Podelski

Browse the full RE paper archive.