Volume 25, Number 4, December 2018
How verified (or tested) is my code? Falsification-driven verification and testing.

Alex Groce Iftekhar Ahmed Carlos Jensen Paul E. McKenney Josie Holmes

Developing and evolving a DSL-based approach for runtime monitoring of systems of systems.

Rick Rabiser Jürgen Thanhofer-Pilisch Michael Vierhauser Paul Grünbacher Alexander Egyed

Static window transition graphs for Android.

Shengqian Yang Haowei Wu Hailong Zhang Yan Wang Chandrasekar Swaminathan Dacong Yan Atanas Rountev

Synthesis of probabilistic models for quality-of-service software engineering.

Simos Gerasimou Radu Calinescu Giordano Tamburrelli

Inferring visual contracts from Java programs.

Abdullah M. Alshanqiti Reiko Heckel Timo Kehrer

Guest editorial: advanced topics in automated software engineering.

Lars Grunske Mike Whalen

DCTracVis: a system retrieving and visualizing traceability links between source code and documentation.

Xiaofan Chen John G. Hosking John C. Grundy Robert Amor

FastTagRec: fast tag recommendation for software information sites.

Jin Liu Pingyi Zhou Zijiang Yang Xiao Liu John Grundy


Volume 25, Number 3, September 2018
Cleaning up copy-paste clones with interactive merging.

Krishna Narasimhan Christoph Reichenbach Julia Lawall

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs.

Javier Cámara Bradley R. Schmerl Gabriel A. Moreno David Garlan

Efficient QoS aware two-layer service allocation in hybrid mobile cloud.

Chunlin Li Jing Zhang Yi Chen Layuan Li

Black-box tree test case generation through diversity.

Ali Shahbazi Mahsa Panahandeh James Miller

Rule-based specification mining leveraging learning to rank.

Zherui Cao Yuan Tian Tien-Duy B. Le David Lo

Tool support for assurance case development.

Ewen Denney Ganesh Pai

Locating bugs without looking back.

Tezcan Dilshener Michel Wermelinger Yijun Yu


Volume 25, Number 2, June 2018
Automatic approval prediction for software enhancement requests.

Zeeshan Ahmed Nizamani Hui Liu David M. Chen Zhendong Niu

Lifting inter-app data-flow analysis to large app sets.

Florian Sattler Alexander von Rhein Thorsten Berger Niklas Schalck Johansson Mikael Mark Hardø Sven Apel

Indicators for merge conflicts in the wild: survey and empirical study.

Olaf Leßenich Janet Siegmund Sven Apel Christian Kästner Claus Hunsen

Faster discovery of faster system configurations with spectral learning.

Vivek Nair Tim Menzies Norbert Siegmund Sven Apel

Cost-sensitive transfer kernel canonical correlation analysis for heterogeneous defect prediction.

Zhiqiang Li Xiao-Yuan Jing Fei Wu Xiaoke Zhu Baowen Xu Shi Ying

Exact search-space size for the refactoring scheduling problem.

Rodrigo Morales Francisco Chicano Foutse Khomh Giuliano Antoniol


Volume 25, Number 1, March 2018
Seeking the user interface.

Steven P. Reiss Yun Miao Qi Xin

Automatic performance prediction of multithreaded programs: a simulation approach.

Alexander Tarvo Steven P. Reiss

Self-adaptive concurrent components.

Erik Österlund Welf Löwe

Guest editorial: selected areas in automated software engineering.

Marsha Chechik Paul Grünbacher

Evaluation of a traceability approach for informal freehand sketches.

Markus Kleffmann Sebastian Rohl Matthias Book Volker Gruhn