正确性测试相关论文
数据库移植，即改变原有系统的后台数据库管理系统，并仍保持原有系统架构，数据和前后端应用程序的逻辑。这一过程通常十分庞大，它牵涉到......
为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验......
