Formal Test Purposes and The Validity of Test Cases
<|reference_start|>Formal Test Purposes and The Validity of Test Cases: We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.<|reference_end|>
@article{deussen2004formal,
    title={Formal Test Purposes and The Validity of Test Cases},
    author={Peter H. Deussen and Stephan Tobies},
    journal={arXiv preprint arXiv:cs/0412100},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0412100},
    primaryClass={cs.DS}
}