Coverage-Based Testing with Symbolic Transition Systems

Thumbnail
Fulltext:
207633.pdf
Size:
631.2Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2019
Author(s)
Bos, P. van den
Tretmans, J.
Publisher
Cham : Springer International Publishing
ISBN
9783030311575
In
Lecture Notes in Computer Science, (2019)Beyer, D. (ed.), Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, pp. 64-82
ISSN
DOI
Annotation
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019
Publication type
Article in monograph or in proceedings
Related datasets
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/207633   https://hdl.handle.net/2066/207633
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.