Media type: E-Article Title: Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation Contributor: Choi, Yunja; Park, Mingyu; Byun, Taejoon; Kim, Dongwoo imprint: Elsevier BV, 2015 Published in: Science of Computer Programming Language: English DOI: 10.1016/j.scico.2014.10.006 ISSN: 0167-6423 Keywords: Software Origination: Footnote: Access State: Open Access