BPMN; SSA Form; Test Case; UML Testing Profile; constraint programming;
机译:基于合同的工作流执行框架,用于在动态和协作环境中实现以伪影为中心的业务流程
机译:使用约束逻辑编程和程序转换有效生成测试数据结构
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:基于合同的测试生成,用于使用约束编程的业务流程数据流
机译:使用约束编程来增强测试数据的生成。
机译:在基于分布式服务的业务流程中强制包含约束
机译:使用约束编程为业务流程的数据流生成基于合同的测试
机译:从非程序语言自动生成业务数据处理程序。