...
机译:扩展符号执行以实现存储过程的自动化测试
Lahore Univ Management Sci Lahore Pakistan;
Univ Illinois Champaign IL USA;
Lahore Univ Management Sci Lahore Pakistan;
Automated testing; Symbolic execution; Stored procedures; Database;
机译:使用符号执行的自动回归测试
机译:通过动态符号执行,IEC 61131-3 ST程序自动测试生成
机译:最新技术:用于自动测试生成的动态符号执行
机译:数据库管理系统中存储过程的符号执行
机译:对测试套件在实践中针对由动态符号执行生成的测试套件的实证研究。
机译:扩展光谱的β-内酰胺酶检测具有不同的面板用于自动药敏试验和生色培养基
机译:DasE:文档辅助符号执行以改进自动软件测试