Automated Software Engineering（ASE ）的DECEMBER 2012, ISSUE 4论文列表

卷期号： 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