Thomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark. Automotive system testing by independent guarded assertions. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-7, IEEE Computer Society, 2015. [doi]
Abstract is missing.