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 - 2025/05/18 ER -