TY  - CONF

T1  - Graphical editing support for QuickCheck models

JO  - 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

PY  - 2015/05/14

AU  - Arts T

AU  - Bogdanov K

AU  - Gerdes A

AU  - Hughes J

ED  - 

DO  - DOI: 10.1109/ICSTW.2015.7107473

PB  - IEEE

SN  - 9781479918850

Y2  - 2024/12/22

ER  -