Automated Software Engineering （ASE） - December 2015, issue 4 论文列表
| 点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息 |
| 卷期号： 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