"Automated system-level safety testing using constraint patterns for ..."

Taejoon Byun, Yunja Choi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics