首页> 外文OA文献 >A test data generation method based on the symbolic execution of the dangerous path

【2h】

A test data generation method based on the symbolic execution of the dangerous path

机译：一种基于危险路径符号执行的测试数据生成方法

代理获取

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

页面导航

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

著录项

作者
Yongdang Meng;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Unit Test Data Generation for C Using Rule-Directed Symbolic Execution [J] . Ming-Zhe Zhang, Yun-Zhan Gong, Ya-Wen Wang, 计算机科学技术学报（英文版） . 2019,第003期

机译：使用规则导向的符号执行为C生成单元测试数据
2. Lazy symbolic execution for test data generation [J] . Lin M.X., Chen Y.L., Yu K., Software, IET . 2011,第2期

机译：懒惰的符号执行，用于生成测试数据
3. ATGen: automatic test data generation using constraint logic programming and symbolic execution [J] . Christophe Meudec Software Testing, Verification and Reliability . 2001,第2期

机译：ATGen：使用约束逻辑编程和符号执行自动生成测试数据
4. A test data generation method based on the symbolic execution of the dangerous path [C] . Meng Yongdang International Conference on Materials Engineering, Manufacturing Technology and Control . 2016

机译：一种基于危险路径符号执行的测试数据生成方法
5. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code [D] . Islam, Mainul. 2015

机译：自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
6. Optimal path test data generation based on hybrid negative selection algorithm and genetic algorithm [O] . Shayma Mustafa Mohi-Aldeen, Radziah Mohamad, Safaai Deris 2020

机译：基于混合负选择算法和遗传算法的最优路径测试数据生成
7. Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution [O] . Marcelo Medeiros Eler, Vinicius Durelli, André Takeshi Endo 2015

机译：基于符号执行的测试数据生成背景下分析异常

A test data generation method based on the symbolic execution of the dangerous path

著录项

引文网络

相似文献

相关主题

期刊订阅