位置：成果数据库 > 期刊 > 期刊详情页
Handling resource sharing problem using property-preserving place fusions of petri nets
  • ISSN号：0218-1266
  • 期刊名称：Journal of Circuits Systems and Computers
  • 时间：0
  • 页码：365-387
  • 语言：英文
  • 相关项目：高可信软件的测试与评估
作者： Cheung, To-Yat|Huang, Hejiao|Jiao, Li|
同期刊论文项目
高可信软件的测试与评估
期刊论文 88 会议论文 47
同项目期刊论文
回归测试中测试用例优先级技术研究综述
Automatic identification of use cases from codes: A user's goal driven approach
一种基于类型传播分析的泛型实例重构方法
基于源代码静态分析的C++0x泛型概念抽取
基于形态分析识别设计模式中的集中管理式聚集
Mathematical modeling of software reliability testing with imperfect debugging
含指针程序的单子切片方法
基于匈牙利匹配算法的钓鱼网页检测方法
On the ability of complexity metrics to predict fault-prone classes in object-oriented systems
一种新的布尔规格测试用例生成算法
Software execution processes as an evolving complex network
Supervisory control of discrete event systems with state-dependent controllability
重构C++程序物理设计(英文)
AN INTELLIGENT CONTROL ARCHITECTURE FOR ADAPTIVE SERVICE-BASED SOFTWARE SYSTEMS
基于路径分析的死循环检测
Slicing Java Generic Programs Using Generic System Dependence Graph
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration
ON THE DEGREE SEQUENCE OF AN EVOLVING RANDOM GRAPH PROCESS AND ITS CRITICAL PHENOMENON
基于SAT求解的面向对象程序类型分析
测试资源受约束的安全关键软件加速测试方法
面向路径覆盖的演化测试用例生成技术(英文)
软件可靠性评估的重要抽样方法
补充生成测试用例的优先级设定与动态调整算法
蜕变测试技术综述
The BA model with finite-precision preferential attachment
AN IMPROVED APPROACH TO ADAPTIVE TESTING
Examining the potentially confounding effect of class size on the associations between object-orient
On the Trend of Remaining Software Defects Estimation
一种基于测试需求约简的测试用例集优化方法
组合测试：原理与方法
An experimental study of adaptive testing for software reliability assessment
Case studies on testing with compositional metamorphic relations
Refining and verifying regular Petri nets
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析(英文)
A backtracking search tool for constructing combinatorial test suites
基于Markov决策过程用交叉熵方法优化软件测试
基于测试用例设计信息的回归测试优先级算法
网络服务可靠性与运行剖面变化率有关吗
关于软件可靠性测试的若干问题
点间确定别名及其在Java程序数据依赖分析中的应用
测试用例集约简问题研究及其进展
演化测试技术的研究
组合测试用例生成技术
基于依赖结构分析的类重要性度量方法
支持模糊隶属度比较的扩展模糊描述逻辑
Does software reliability growth behavior follow a non-homogeneous Poisson process
On the online parameter estimation problem in adaptive software testing
变量极小不可满足在模型检测中的应用(英文)
Program slicing under UML scenario models
An efficient method to generate feasible paths for basis path testing
一种新型形式化程序切片方法
精确的程序静态分析
基于互信息的无监督特征选择
增量式软件设计方法的条件
相邻因素组合测试用例集的最优生成方法
基于完备抽象解释的模型检验CTL公式研究
基于程序路径分析的有效蜕变测试
一种并行环境下测试用例优先级技术度量方法
变量极小不可满足在模型检测中的应用
一种恢复状态模式的状态转换图的方法
面向路径覆盖的演化测试用例生成技术
使用复合蜕变关系进行软件测试的实例研究
飞行控制软件测试中插桩技术的优化方法
基于监控理论的EFSM设计方法
Predicting the Maintainability of Open Source Software Using Design Metrics
基于客户程序度量包内聚性
Shrek：一个动态面向对象程序设计语言
飞行控制软件测试中的插桩技术
重构C＋＋程序物理设
类规模对面向对象度量与易维护性关联关系潜在混和效果元分析