Graphical editing support for QuickCheck models
Paper in proceedings, 2015
Author
Thomas Arts
Quviq Ab
K. Bogdanov
University of Sheffield
Alex Gerdes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings
2159-4848 (ISSN)
Subject Categories
Telecommunications
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1109/ICSTW.2015.7107473
ISBN
978-1-4799-1885-0