Software - Practice and Experience （SPE） - Issue 520 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 520 |
| 发布时间： |
| 卷期年份： 2016 |
| 卷期官网： |
本期论文列表
A transformation-based approach to testing concurrent programs using UML activity diagrams.
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties.
Determinization and minimization of finite acyclic automata by incremental techniques.
Ontology-based employer demand management.
Practically efficient array initialization.