Testing AUTOSAR software with QuickCheck
Paper in proceeding, 2015
Author
Thomas Arts
Quviq Ab
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Ulf Norell
Quviq Ab
Henrik Svensson
Quviq Ab
2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings
2159-4848 (ISSN)
978-1-4799-1885-0 (ISBN)
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1109/ICSTW.2015.7107466
ISBN
978-1-4799-1885-0