Guiding Random Test Generation with Program Analysis

Lei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner and Rudolf Ramler

Just test what you cannot verify!

Mike Czech, Marie-Christine Jakobs and Heike Wehrheim

A Controlled Experiment on Manual Test Case Derivation from UML Activity Diagrams and State Machines

Michael Felderer and Andrea Herrmann

Accurate Profiling in the Presence of Dynamic Compilation

Yudi Zheng, Lubomír Bulej and Walter Binder

Transparent Object Proxies for JavaScript

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann

Intelligent Code Completion with Bayesian Networks

Sebastian Proksch, Johannes Lerch and Mira Mezini

Automated Workload Characterization for I/O Performance Analysis in Virtualized Environments

Axel Busch, Qais Noorshams, Samuel Kounev, Anne Koziolek, Ralf Reussner and Erich Amrehn

Performance-Influence Models

Norbert Siegmund, Alexander Grebhahn, Sven Apel and Christian Kästner

Scaling Size and Parameter Spaces in Variability-aware Software Performance Models

Matthias Kowal, Max Tschaikowski, Mirco Tribastone and Ina Schaefer

Naming the Pain in Requirements Engineering: A Survey Design and German Results

Daniel Méndez Fernández and Stefan Wagner

A Quality Model for the Systematic Assessment of Requirements Traceability

Patrick Rempel and Patrick Mäder

Supporting requirements update during software evolution

Eya Ben Charrada, Anne Koziolek and Martin Glinz

Design of a Domain-Specific Language based on a technology-independent Web Service Framework

Florian Rademacher, Martin Peters and Sabine Sachweh

Learning how to Prevent Return-Oriented Programming Efficiently

David Pfaff, Sebastian Hack and Christian Hammer

No PAIN, No Gain? The Utility of PArallel Fault INjections

Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri and Domenico Cotroneo

Analysis of the trade-offs in different modeling approaches for performance prediction of software systems

Samuel Kounev, Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek and Piotr Rygielski

Feedback Generation for Performance Problems in Introductory Programming Assignments

Florian Zuleger, Ivan Radicek and Sumit Gulwani

Integrating business process simulation and information system simulation for performance prediction

Robert Heinrich, Philipp Merkle, Jörg Henß and Barbara Paech

From Aristotle to Ringelmann: A large-scale analysis of team productivity and coordination in Open Source Software projects

Ingo Scholtes, Pavlin Mavrodiev and Frank Schweitzer

Software Process Improvement: Where Is the Evidence?

Marco Kuhrmann, Claudia Konopka, Peter Nellemann, Philipp Diebold and Juergen Muench

Cost-effective evolution of research prototypes into end-user tools: The MACH case study

Harald Störrle

Getting to Know You: Towards a Capability Model for Java

Ben Hermann, Michael Reif, Michael Eichberg and Mira Mezini

Copy and Paste Redeemed

Krishna Narasimhan and Christoph Reichenbach

Hidden Truths in Dead Software Paths

Michael Eichberg, Ben Hermann, Mira Mezini and Leonid Glanz

Effekte modellbasierter Test- und Analyseverfahren in Unternehmen – Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller Fallstudien

Michael Klaes

Empirical Software Metrics for Benchmarking of Verification Tools

Yulia Demyanova, Thomas Pani, Helmut Veith and Florian Zuleger

An Empirical Study on Program Comprehension with Reactive Programming

Guido Salvaneschi, Sven Amann, Sebastian Proksch and Mira Mezini

Supporting Process Model Validation through Natural Language Generation

Henrik Leopold, Jan Mendling and Artem Polyvyanyy

Kognitive Belastung als lokales Komplexitätsmaß in Geschäftsprozessmodellen

Kathrin Figl and Ralf Laue

Automatic Detection and Resolution of Lexical Ambiguity in Process Models

Fabian Pittke, Henrik Leopold and Jan Mendling

Design and Evaluation of a Customizable Multi-Domain Reference Architecture on top of Product Lines of Self-Driving Heavy Vehicles – An Industrial Case Study

Jan Schroeder, Daniela Holzner, Christian Berger, Carl-Johan Hoel, Leo Laine and Anders Magnusson

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models

Maxim Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne and Martin Leucker

On Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer

How Reviewers Think About Internal and External Validity in Empirical Software Engineering

Janet Siegmund, Norbert Siegmund and Sven Apel

Understanding the Influence of User Participation and Involvement on System Success – a Systematic Mapping Study

Ulrike Abelein and Barbara Paech

Hierarchical Software Landscape Visualization for System Comprehension: A Controlled Experiment

Florian Fittkau, Alexander Krause and Wilhelm Hasselbring

Extracting Frame Conditions from Operation Contracts

Philipp Niemann, Frank Hilken, Martin Gogolla and Robert Wille

UMLchange – Specifying Model Changes to Support Security Verification of Potential Evolution

Sven Wenzel, Daniel Poggenpohl, Jan Jürjens and Martín Ochoa

A DSL-Based Approach for Event-Based Monitoring of Systems of Systems

Michael Vierhauser, Rick Rabiser, Paul Grünbacher and Alexander Egyed

Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants

Stefan Fischer, Lukas Linsbauer, Roberto E. Lopez-Herrejon and Alexander Egyed

Morpheus: Variability-Aware Refactoring in the Wild

Jörg Liebig, Sven Apel, Andreas Janker, Florian Garbe and Sebastian Oster

Model-Driven Development of Platform-Independent Mobile Applications Supporting Role-based App Variability

Steffen Vaupel, Gabriele Taentzer, Rene Gerlach and Michael Guckert

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

Moritz Sinn, Florian Zuleger and Helmut Veith

GR(1) Synthesis for LTL Specification Patterns

Shahar Maoz and Jan Oliver Ringert

Witness Validation and Stepwise Testification across Software Verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann and Andreas Stahlbauer

Evolution of Software in Automated Production Systems: Challenges and Research Directions

Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy

Do developers benefit from requirements traceability when evolving and maintaining a software system?

Patrick Mäder and Alexander Egyed

Development of Flexible Software Process Lines with Variability Operations: A Longitudinal Case Study

Joachim Schramm, Patrick Dohrmann and Marco Kuhrmann