Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code

著录项

• 作者

  Islam, Mainul.;

  展开▼
• 作者单位

  The University of Texas at Arlington.;

  展开▼
• 授予单位 The University of Texas at Arlington.;
• 学科
• 学位 Ph.D.
• 年度 2015
• 页码 90 p.
• 总页数 90
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Automatic test case generation; Software engineering; Software testing; Software/program reliability; Testing tool;

  机译：自动测试箱生成;软件工程;软件测试;软件/程序可靠性;测试工具;
• 入库时间 2022-08-17 12:03:49