Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation-Reference-Cited by-同舟云学术

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation

Author:

Choi Yunja,Park Mingyu,Byun Taejoon,Kim Dongwoo

Funder

National Research Foundation of Korea

MSIP

Publisher

Elsevier BV

Subject

Software

Reference42 articles.

1. Property-based code slicing for efficient verification of OSEK/VDX operating systems;Park,2012

2. Challenges in automotive software engineering;Broy,2006

3. Software in automotive systems;Mössinger;IEEE Softw.,2010

4. Model Checking;Clarke,1999

5. The SPIN Model Checker – Primer and Reference Manual;Holzmann,2004

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Property-based testing for LG home appliances using accelerated software-in-the-loop simulation;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice;2020-06-27

4. A review of OSEK/VDX application verification methods;Proceedings of the 5th International Conference on Communication and Information Processing;2019-11-15