0928-8910

ASE - volume 26 - 2019 论文列表
点击这里查看 Automated Software Engineering 的JCR分区、影响因子等信息
Volume 26, Number 4, December 2019
How effective are existing Java API specifications for finding bugs during runtime verification?

Owolabi Legunsen Nader Al Awar Xinyue Xu Wajih Ul Hassan Grigore Rosu Darko Marinov

Precise semantic history slicing through dynamic delta refinement.

Yi Li Chenguang Zhu Milos Gligoric Julia Rubin Marsha Chechik

Modeling hierarchical usage context for software exceptions based on interaction data.

Hui Chen Kostadin Damevski David C. Shepherd Nicholas A. Kraft

Enhance code search via reformulating queries with evolving contexts.

Qing Huang Guoqing Wu

Volume 26, Number 3, September 2019
Automatic B-model repair using model checking and machine learning.

Chenghao Cai Jing Sun Gillian Dobbie

Heterogeneous defect prediction with two-stage ensemble learning.

Zhiqiang Li Xiao-Yuan Jing Xiaoke Zhu Hongyu Zhang Baowen Xu Shi Ying

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

Alessio Ferrari Andrea Esuli

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

Davide Dell'Anna Fabiano Dalpiaz Mehdi Dastani

Guest editorial: special section on artificial intelligence for requirements engineering.

Eduard C. Groen Rachel Harrison Pradeep K. Murukannaiah Andreas Vogelsang

Volume 26, Number 2, June 2019
Region and effect inference for safe parallelism.

Alexandros Tzannes Stephen T. Heumann Lamyaa Eloussi Mohsen Vakilian Vikram S. Adve Michael Han

Change impact analysis for maintenance and evolution of variable software systems.

Florian Angerer Andreas Grimmer Herbert Prähofer Paul Grünbacher

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

Ivan Bocic Tevfik Bultan Nicolás Rosner

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

Uwe Pohlmann Marcus Hüwe

Editor's note.

Improving web service interfaces modularity using multi-objective optimization.

Sabrine Boukharata Ali Ouni Marouane Kessentini Salah Bouktif Hanzhang Wang

Automatic, highly accurate app permission recommendation.

Zhongxin Liu Xin Xia David Lo John C. Grundy

Volume 26, Number 1, March 2019
Fragment-based spreadsheet debugging.

Dietmar Jannach Thomas Schmitz Birgit Hofer Konstantin Schekotihin Patrick W. Koch Franz Wotawa

Collaborative feature location in models through automatic query expansion.

Francisca Pérez Jaime Font Lorena Arcega Carlos Cetina

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

Chunlin Li Tang Jianhang Youlong Luo

Efficient elicitation of software configurations using crowd preferences and domain knowledge.

Yasser González-Fernández Saeideh Hamidi Stephen Chen Sotirios Liaskos

Exploring output-based coverage for testing PHP web applications.

Hung Viet Nguyen Hung Dang Phan Christian Kästner Tien N. Nguyen

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

Asma Mehiaoui Ernest Wozniak Jean-Philippe Babau Sara Tucci Piergiovanni Chokri Mraidha