Automotive system testing by independent guarded assertions.

Thomas Gustafsson, Mats Skoglund, Avenir Kobetski, Daniel Sundmark

Browse the full ICST paper archive.