Author:
Gadelha Mikhail R.,Menezes Rafael S.,Cordeiro Lucas C.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference27 articles.
1. Cordeiro, L.C., Fischer, B., Marques-Silva, J.: SMT-based bounded model checking for embedded ANSI-C software. IEEE TSE 38(4), 957–974 (2012)
2. Petrov, M., Gagarski, K., Belyaev, M.A., Itsykson, V.M.: Using a bounded model checker for test generation: how to kill two birds with one SMT solver. Autom. Control Comput. Sci. 49(7), 466–472 (2015)
3. Anielak, G., Jakacki, G., Lasota, S.: Incremental test case generation using bounded model checking: an application to automatic rating. STTT 17(3), 339–349 (2015)
4. Rocha, H., Barreto, R.S., Cordeiro, L.C.: Memory management test-case generation of C programs using bounded model checking. In: SEFM, LNCS 9276, pp. 251–267 (2015)
5. Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: TACAS, LNCS 2988, pp. 168–176 (2004)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rapid Taint Assisted Concolic Execution (TACE);Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. 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
3. ESBMC-solidity;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings;2022-05-21
4. ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts;2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2022-05
5. CEG4N: Counter-Example Guided Neural Network Quantization Refinement;Lecture Notes in Computer Science;2022