位置：成果数据库 > 会议 > 会议详情页
A novel test case generation method for Prolog programs based on call patterns semantics
  • 所属机构名称：桂林电子科技大学
  • 会议名称：5th Asian Symposium on Programming Languages and Systems
  • 成果类型：会议
  • 会场：Singapore, SINGAPORE
  • 相关项目：基于依赖公式抽象的软件模型检测研究
作者： Qian, Junyan|Gu, Tianlong|Cai, Guoyong|Zhao, Lingzhong|
同会议论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
同项目会议论文
Distributed collaborating system design via electronic institutional calculus
Goal-independent semantics for path dependent analysis of prolog programs
An ASP based solution to mechanical assembly sequence planning
An ASP based method for subassembly identification
Verifying programs using abstraction and theorem proving
Formula-dependent abstraction for CTL model checking
Automatic Construction of Complete Abstraction by Abstract Interpretation
Supervising mechanism for contract based virtual organization
A formal framework for Policy-Governed institutional agency