首页> 外文OA文献 >Research and development of interprocedural algorithms for defect searching in executable program code

【2h】

Research and development of interprocedural algorithms for defect searching in executable program code

机译：可执行程序代码中缺陷搜索的移植算法的研究与开发

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
G.S. Ivanov; P.M. Palchickov; A.Y. Tarasov; G.S. Akimov; A.K. Aslanyan; V.G. Vardanyan; M.S. Arutunian; G.S. Keropyan;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code [J] . R. A. Demidov, A. I. Pechenkin, P. D. Zegzhda Automatic Control and Computer Sciences . 2018,第8期

机译：在可执行程序代码中漏洞漏洞漏洞的方法
2. Translating programming languages into executable codes [J] . HUNYADI IOAN DANIEL WSEAS Transactions on Information Science and Applications . 2007,第1期

机译：将编程语言转换为可执行代码
3. TRANSLATION OF ALGEBRAIC PROGRAMS INTO EXECUTABLE CODES [J] . S. V. Goncharov, A. Ye. Rudich Cybernetics and Systems Analysis . 2005,第5期

机译：将代数程序翻译成可执行代码
4. A Generative Approach to Searching Algorithmic Programs Development [C] . Shi Haihe, Xue Jinyun 2011 Fifth International Conference on Theoretical Aspects of Software Engineering . 2011

机译：搜索算法程序开发的生成方法
5. Interprocedural analysis and the verification of concurrent programs. [D] . Lal, Akash. 2009

机译：过程间分析和并发程序的验证。
6. Identifying Algorithms to Improve the Accuracy of Unverified Diagnosis Codes for Birth Defects [O] . Jason L. Salemi, Rachel E. Rutkowski, Jean Paul Tanner, 2018

机译：识别算法以提高未验证的出生缺陷诊断代码的准确性
7. Efficient algorithms for searching multiple burst-error correcting cyclic and shortened cyclic codes [O] . Sandoval Orozco Ana Lucila 2014

机译：搜索多个突发纠错循环码和缩短循环码的高效算法

Research and development of interprocedural algorithms for defect searching in executable program code

著录项

引文网络

相似文献

相关主题

期刊订阅