Software defect detection by combining bounded model checking and approximations of functions-Reference-Cited by-同舟云学术

Software defect detection by combining bounded model checking and approximations of functions

Published:2014-12 Issue:7 Volume:48 Page:389-397
ISSN:0146-4116
Container-title:Automatic Control and Computer Sciences
language:en
Short-container-title:Aut. Control Comp. Sci.

Author:

Akhin M. Kh.,Belyaev M. A.,Itsykson V. M.

Publisher

Allerton Press

Subject

Signal Processing,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.3103/S0146411614070025.pdf

Reference19 articles.

1. Clarke, E., Kroening, D., and Lerda, F.A., Tool for checking ANSI-C programs, Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’04), 2004, pp. 168–176.

2. Armando, A., Mantovani, J., and Platania, L., Bounded model checking of software using SMT solvers instead of SAT solvers, Int. J. Soft. Tools Technol. Transf., 2009, vol. 11, pp. 69–83.

3. Cordeiro, L., Fischer, B., and Marques-Silva, J., SMT-based bounded model checking for embedded ANSI-C software, Proc. ASE, 2009, pp. 137–148.

4. Merz, F., Falke, S., and Sinz, C., The low-level bounded model checker: Bounded model checking of C and C++ programs using a compiler IR, Compt. Sci., 2012, vol. 7152, pp. 146–161.

5. Itsykson, V.M., and Glukhikh, M.I., Language of specifications of program component behavior, Nauchno-tehnicheskie vedomosti St. Pb. Gos. Politekh. Univ. Informatika. Telekommunikacii. Upravlenie, 2010, vol. 3, no. 101, pp. 63–70.

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

1. Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer;Communications in Computer and Information Science;2017-12-30

2. Formalism and Language Tools for Specification of the Semantics of Software Libraries;Automatic Control and Computer Sciences;2017-12

3. Liberal arts in a digitally transformed world;Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia;2017-10-20

4. Borealis Bounded Model Checker: The Coming of Age Story;Present and Ulterior Software Engineering;2017

5. By the power of SMT! mining function contracts to better bounded model checking;Proceedings of the 5th International Workshop on Software Mining;2016-09-03