Laboratoire d'lnfonnatique de Paris 6 UPMC Paris Universitas 104 avenue du President Kennedy 75016 Paris, France;
Laboratoire d'lnfonnatique de Paris 6 UPMC Paris Universitas 104 avenue du President Kennedy 75016 Paris, France;
机译:使用约束逻辑编程自动生成测试用例中的前导码
机译:使用约束逻辑编程和程序转换有效生成测试数据结构
机译:考虑软逻辑的非常规活动重复项目的约束编程方法
机译:自动化测试的约束逻辑编程方法
机译:自动生成测试用例,以克服农药悖论,从而在面向对象的编程中进行集成测试。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:逻辑编程和自动演绎中的约束求解:比较