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

卷期号： December 2019, issue 4

发布时间：

卷期年份： 2019

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

Enhance code search via reformulating queries with evolving contexts

Modeling hierarchical usage context for software exceptions based on interaction data

Precise semantic history slicing through dynamic delta refinement

How effective are existing Java API specifications for finding bugs during runtime verification?

Automatic, highly accurate app permission recommendation

Improving web service interfaces modularity using multi-objective optimization

Editor’s note

Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems

Inductive verification of data model invariants in web applications using first-order logic

Change impact analysis for maintenance and evolution of variable software systems

Region and effect inference for safe parallelism

Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures

Exploring output-based coverage for testing PHP web applications

Efficient elicitation of software configurations using crowd preferences and domain knowledge

Cost-aware scheduling for ensuring software performance and reliability under heterogeneous workloads of hybrid cloud

Collaborative feature location in models through automatic query expansion

Fragment-based spreadsheet debugging

Guest editorial: special section on artificial intelligence for requirements engineering

Requirements-driven evolution of sociotechnical systems via probabilistic reasoning and hill climbing

An NLP approach for cross-domain ambiguity detection in requirements engineering

Heterogeneous defect prediction with two-stage ensemble learning

Automatic B-model repair using model checking and machine learning