Coverage-Based Testing with Symbolic Transition Systems

Thumbnail Image

Files

Primary 207633.pdf (631.21 KB)

Date

2019

Authors

Bos, P. Petra
Tretmans, G.J. Jan

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer International Publishing

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/207633

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By