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

卷期号： December 2015, issue 4

发布时间：

卷期年份： 2015

卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/22-4

Guest editorial: special multi-issue on selected topics in automated software engineering

Program-input generation for testing database applications using existing database states

Unfolding based automated testing of multithreaded programs

Scalable and scope-bounded software verification in Varvel

To what extent could we detect field defects? An extended empirical study of false negatives in static bug-finding tools

Guest editorial: special issue on realizing AI synergies in software engineering (part 2)

An experiment in ontology use for command and control interoperability

Building high assurance human-centric decision systems

Designing automotive embedded systems with adaptive genetic algorithms

A semantic web enabled approach to reuse functional requirements models in web engineering

Guest editorial: special issue on realizing AI synergies in software engineering

AutoODC: Automated generation of orthogonal defect classifications

On the empirical evaluation of similarity coefficients for spreadsheets fault localization

Automatic, high accuracy prediction of reopened bugs

SMPLearner: learning to predict software maintainability

Guest editorial: special multi-issue on selected topics in Automated Software Engineering

Monitoring energy hotspots in software

User-aware privacy control via extended static-information-flow analysis

Balancing precision and performance in structured merge

A model-driven framework for guided design space exploration