@inproceedings{inproceedings, title = {{Graphical editing support for QuickCheck models}}, publisher = {{IEEE}}, url = {{}}, year = {{2015}}, month = {{5}}, author = {{Arts T and Bogdanov K and Gerdes A and Hughes J}}, doi = {{10.1109/ICSTW.2015.7107473}}, isbn = {{9781479918850}}, journal = {{2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)}}, note = {{Accessed on 2025/04/13}}}