Automated Software Engineering （ASE） - December 2012, issue 4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： December 2012, issue 4 |
| 发布时间： |
| 卷期年份： 2012 |
| 卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/19-4 |
本期论文列表
Editorial: selected topics in ASE
The design and evaluation of a tool to support software designers at the whiteboard
Scenario-based and value-based specification mining: better together
Vdiff: a program differencing algorithm for Verilog hardware description language
JRF-E: using model checking to give advice on eliminating memory model-related bugs
StrSolve: solving string constraints lazily
Guest editorial: learning to organize testing
Applying the Mahalanobis-Taguchi strategy for software defect diagnosis
An investigation on the feasibility of cross-project defect prediction
Sample-based software defect prediction with active and semi-supervised learning
Editorial: ASE 2011 conference trip report
Model checking agent programming languages
Prioritizing test cases with string distances
Refactoring techniques for aggressive object inlining in Java applications
Editorial: analysis in software engineering
Efficient and formal generalized symbolic execution
Artificial neural networks as multi-networks automated test oracle
Decision support for the software product line domain engineering lifecycle