Automated system-level safety testing using constraint patterns for automotive operating systems.

Taejoon Byun, Yunja Choi

Browse the full SAC paper archive.