Testing-based translation validation of generated code in the context of IEC 61508-Reference-Cited by-同舟云学术

Testing-based translation validation of generated code in the context of IEC 61508

Published:2009-11-27 Issue:3 Volume:35 Page:389-401
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Conrad Mirko

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-009-0082-0.pdf

Reference45 articles.

1. Aldrich W (2001) Coverage analysis for model-based design tools. In: TCS 2001

2. Arthur D Little (2007) Kosten-/Nutzenanalyse der modellbasierten Softwareentwicklung im Automobil

3. Baresel A, Conrad M, Sadeghipour S, Wegener J (2003) The interplay between model coverage and code coverage. In: 11th Eur int conf on software testing, analysis and review (EuroSTAR ’03), Amsterdam, Netherlands

4. Burnard A (2004) Verifying and validating automatically generated code. In: Int automotive conference (IAC ’04), Stuttgart, Germany, pp 71–78

5. Conrad M (2004) Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien. PhD Thesis, Deutscher Universitätsverlag, Wiesbaden, Germany

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

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

2. PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27

3. SLEMI;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

4. A Validation Methodology for OCaml-to-PVS Translation;Lecture Notes in Computer Science;2020

5. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families;Software Testing, Verification and Reliability;2019-12-20