@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/03/03}}}