Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS)-Reference-Cited by-同舟云学术

Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS)

Published:2015-05-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the First International Workshop on Automotive Software Architecture
language:
Short-container-title:

Author:

Arts Thomas¹,Mousavi Mohammad Reza²

Affiliation:

1. Quviq AB, Gothenburg, Sweden

2. Halmstad University, Halmstad, Sweden

Funder

Stiftelsen för Kunskaps- och Kompetensutveckling

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2752489.2752495

Reference21 articles.

1. AUTOSAR BSW & RE Conformance Test Specification Release 4.0 Revision 2 2011. AUTOSAR BSW & RE Conformance Test Specification Release 4.0 Revision 2 2011.

2. Testing telecoms software with quviq QuickCheck

3. Towards Model-Based Testing of Electronic Funds Transfer Systems

4. M. Broy B. Jonsson J.-P. Katoen M. Leucker and A. Pretschner . (Eds.) Model-Based Testing of Reactive Systems . volume 3472 of LNCS Springer 2005 . M. Broy B. Jonsson J.-P. Katoen M. Leucker and A. Pretschner. (Eds.) Model-Based Testing of Reactive Systems. volume 3472 of LNCS Springer 2005.

5. Symbolic execution for software testing in practice

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

1. Verification and validation of embedded software in an automotive context: a systematic literature review;Revista Científica Multidisciplinar Núcleo do Conhecimento;2023-10-03

2. Model-based fault injection for testing gray-box systems;Journal of Logical and Algebraic Methods in Programming;2019-02

3. Modelling of Autosar Libraries for Large Scale Testing;Electronic Proceedings in Theoretical Computer Science;2017-03-15