...
机译:统一调试和测试的统一框架
Univ Complutense Madrid Dept Sistemas Informat & Computac Fac Informat C Prof Jose Garcia Santesmases 9 Madrid 28040 Spain;
Univ Complutense Madrid Dept Sistemas Informat & Computac Fac Informat C Prof Jose Garcia Santesmases 9 Madrid 28040 Spain;
Univ Complutense Madrid Dept Sistemas Informat & Computac Fac Informat C Prof Jose Garcia Santesmases 9 Madrid 28040 Spain;
Univ Politecn Valencia Dept Sistemes Informat & Comp Cami Vera S-N Valencia 46022 Spain;
Property-based testing; Unit testing; Declarative debugging; Unified framework;
机译:带有测试工作的不完善调试相关SRGM的统一灵活框架
机译:具有故障检测概率,不完善的调试和变更点的基于覆盖率的软件可靠性增长模型测试的统一方法
机译:一种统一的测试基于覆盖的软件可靠性增长模型,具有故障检测概率,不完美调试和改变点
机译:Lambda抽象的功能逻辑程序陈述调试的理论框架
机译:使用声明性语言优化和调试分布式系统
机译:统一的调试方法是-网络分类法中的结构和映射
机译:在声明规则规划中的错误和缺失答案的陈述调试的语义框架