Journal: Automated Software Engineering

Volume 26, Issue 4

705 -- 732Qing Huang, Guoqing Wu. Enhance code search via reformulating queries with evolving contexts
733 -- 756Hui Chen 0001, Kostadin Damevski, David C. Shepherd, Nicholas A. Kraft. Modeling hierarchical usage context for software exceptions based on interaction data
757 -- 793Yi Li 0008, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik. Precise semantic history slicing through dynamic delta refinement
795 -- 837Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov. How effective are existing Java API specifications for finding bugs during runtime verification?

Volume 26, Issue 3

511 -- 512Eduard C. Groen, Rachel Harrison, Pradeep K. Murukannaiah, Andreas Vogelsang. Guest editorial: special section on artificial intelligence for requirements engineering
513 -- 557Davide Dell'Anna, Fabiano Dalpiaz, Mehdi Dastani. Requirements-driven evolution of sociotechnical systems via probabilistic reasoning and hill climbing
559 -- 598Alessio Ferrari, Andrea Esuli. An NLP approach for cross-domain ambiguity detection in requirements engineering
599 -- 651Zhiqiang Li 0003, Xiao-Yuan Jing, Xiaoke Zhu, Hongyu Zhang, Baowen Xu, Shi Ying. Heterogeneous defect prediction with two-stage ensemble learning
653 -- 704Chenghao Cai, Jing Sun 0002, Gillian Dobbie. Automatic B-model repair using model checking and machine learning

Volume 26, Issue 2

241 -- 274Zhongxin Liu, Xin Xia 0001, David Lo 0001, John C. Grundy. Automatic, highly accurate app permission recommendation
275 -- 312Sabrine Boukharata, Ali Ouni 0001, Marouane Kessentini, Salah Bouktif, Hanzhang Wang. Improving web service interfaces modularity using multi-objective optimization
313 -- 0. Editor's note
315 -- 378Uwe Pohlmann, Marcus Hüwe. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems
379 -- 416Ivan Bocic, Tevfik Bultan, Nicolás Rosner. Inductive verification of data model invariants in web applications using first-order logic
417 -- 461Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher. Change impact analysis for maintenance and evolution of variable software systems
463 -- 509Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, Michael Han. Region and effect inference for safe parallelism

Volume 26, Issue 1

1 -- 57Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha. Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
59 -- 85Hung Viet Nguyen, Hung Dang Phan, Christian Kästner, Tien N. Nguyen. Exploring output-based coverage for testing PHP web applications
87 -- 123Yasser González-Fernández, Saeideh Hamidi, Stephen Chen 0001, Sotirios Liaskos. Efficient elicitation of software configurations using crowd preferences and domain knowledge
125 -- 159ChunLin Li, Tang Jianhang, Youlong Luo. Cost-aware scheduling for ensuring software performance and reliability under heterogeneous workloads of hybrid cloud
161 -- 202Francisca Pérez, Jaime Font, Lorena Arcega, Carlos Cetina. Collaborative feature location in models through automatic query expansion
203 -- 239Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa. Fragment-based spreadsheet debugging