Model checking C++ programs-Reference-Cited by-同舟云学术

Model checking C++ programs

Published:2021-09-08 Issue:1 Volume:32 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw Test Verif Reliab

Author:

Monteiro Felipe R.¹^ORCID,Gadelha Mikhail R.²^ORCID,Cordeiro Lucas C.³^ORCID

Affiliation:

1. Federal University of Amazonas Manaus Brazil

2. Igalia A Coruña Spain

3. University of Manchester Manchester UK

Funder

Engineering and Physical Sciences Research Council

UK Research and Innovation

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1793

Reference81 articles.

1. ChongN CookB KallasK KhazemK MonteiroFR Schwartz‐NarbonneD et al.Code‐level model checking in the software development workflow. In42nd International Conference on Software Engineering (ICSE):Seoul Korea (South) 2020.

2. SzekeresL PayerM WeiT SongD.SoK: Eternal war in memory. InIEEE Symposium on Security and Privacy:Berkeley CA USA 2013;48–62.

3. MillerM.Trends challenges and strategic shifts in the software vulnerability mitigation landscape. In Technical Report Microsoft Security Response Center 2019.

4. Dealing With C's Original Sin

5. Introduction to Model Checking

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

1. ESBMC-Python: A Bounded Model Checker for Python Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach;Software Testing, Verification and Reliability;2024-03-02

3. ESBMC v7.3: Model Checking C++ Programs Using Clang AST;Lecture Notes in Computer Science;2023-12-02

4. Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration;2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC);2023-11-21

5. Model checking embedded adaptive cruise controllers;Robotics and Autonomous Systems;2023-09