Improving model-based testing in automotive software engineering-Reference-Cited by-同舟云学术

Improving model-based testing in automotive software engineering

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice
language:
Short-container-title:

Author:

Kriebel Stefan¹,Markthaler Matthias¹,Salman Karin Samira¹,Greifenberg Timo²,Hillemacher Steffen²,Rumpe Bernhard²,Schulze Christoph²,Wortmann Andreas²,Orth Philipp³,Richenhagen Johannes³

Affiliation:

1. Development Electric Drive, Germany

2. RWTH Aachen University, Germany

3. FEV Europe GmbH, Germany

Publisher

ACM

Link

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

Reference30 articles.

1. 2017. MBTsuite - the Testing Framework. (2017). http://www.mbtsuite.com/ Accessed: 2017-06-11. 2017. MBTsuite - the Testing Framework. (2017). http://www.mbtsuite.com/ Accessed: 2017-06-11.

2. Testing methods used in the automotive industry: results from a survey

3. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. Tools and Algorithms for the Construction and Analysis of Systems (2008) 337--340. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. Tools and Algorithms for the Construction and Analysis of Systems (2008) 337--340.

4. Arilo C. Dias Netto Rajesh Subramanyan Marlon Vieira and Guilherme H. Travassos. 2007. A survey on model-based testing approaches. In Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE ACM International Conference on Automated Software Engineering (ASE) 2007 Eileen Kraemer and Jonathan I. Maletic (Eds.). ACM New York NY 31--36. 10.1145/1353673.1353681 Arilo C. Dias Netto Rajesh Subramanyan Marlon Vieira and Guilherme H. Travassos. 2007. A survey on model-based testing approaches. In Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE ACM International Conference on Automated Software Engineering (ASE) 2007 Eileen Kraemer and Jonathan I. Maletic (Eds.). ACM New York NY 31--36. 10.1145/1353673.1353681

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

1. ProTSA: A Testing Process for Automotive Software Domain;Journal of Software Engineering and Applications;2024

2. Bridging the Gap Between System Architecture and Software Design using Model Transformation;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09

3. 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

4. On transforming model‐based tests into code: A systematic literature review;Software Testing, Verification and Reliability;2023-09-07

5. Model-based Testing for a Family of Mobile Applications;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28