Table of Contents

• Guiding random test generation with program analysisLei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler. 15-16 [doi]
• Just test what you cannot verify!Mike Czech, Marie-Christine Jakobs, Heike Wehrheim. 17-18 [doi]
• A controlled experiment on manual test case derivation from UML activity diagrams and state machinesMichael Felderer, Andrea Herrmann. 19 [doi]
• Accurate profiling in the presence of dynamic compilationYudi Zheng, Lubomír Bulej, Walter Binder. 21-22 [doi]
• Transparent object proxies for javascriptMatthias Keil 0002, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann. 23-24 [doi]
• Intelligent code completion with Bayesian networksSebastian Proksch, Johannes Lerch, Mira Mezini. 25-26 [doi]
• Automated workload characterization for I/O performance analysis in virtualized environmentsAxel Busch, Qais Noorshams, Samuel Kounev, Anne Koziolek, Ralf H. Reussner, Erich Amrehn. 27-28 [doi]
• Performance-Influence ModelsNorbert Siegmund, Alexander Grebhahn, Sven Apel, Christian Kästner. 29-31 [doi]
• Scaling size and parameter spaces in variability-aware software performance modelsMatthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer. 33-34 [doi]
• Naming the pain in requirements engineering: A survey design and German resultsDaniel Méndez Fernández, Stefan Wagner 0001. 35-36 [doi]
• A quality model for the systematic assessment of requirements traceabilityPatrick Rempel, Patrick Mäder. 37-38 [doi]
• Supporting requirements update during software evolutionEya Ben Charrada, Anne Koziolek, Martin Glinz. 39 [doi]
• Design of a domain-specific language based on a technology-independent web service frameworkFlorian Rademacher, Martin Peters, Sabine Sachweh. 41-42 [doi]
• Learning how to prevent return-oriented programming efficientlyDavid Pfaff, Sebastian Hack, Christian Hammer 0001. 43-44 [doi]
• No PAIN, no gain? the utility of parallel fault injectionsStefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo. 45-46 [doi]
• Analysis of the trade-offs in different modeling approaches for performance prediction of software systemsSamuel Kounev, Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Piotr Rygielski. 47-48 [doi]
• Feedback generation for performance problems in introductory programming assignmentsFlorian Zuleger, Ivan Radicek, Sumit Gulwani. 49-50 [doi]
• Integrating business process simulation and information system simulation for performance predictionRobert Heinrich, Philipp Merkle, Jörg Henß, Barbara Paech. 51-52 [doi]
• From aristotle to ringelmann: A large-scale analysis of team productivity and coordination in open source software projectsIngo Scholtes, Pavlin Mavrodiev, Frank Schweitzer. 53-54 [doi]
• Software process improvement: where is the evidence?Marco Kuhrmann, Claudia Konopka, Peter Nellemann, Philipp Diebold, Jürgen Münch. 55-56 [doi]
• Cost-effective evolution of research prototypes into end-user tools: the Mach case studyHarald Störrle. 57-58 [doi]
• Getting to know you: towards a capability model for JavaBen Hermann, Michael Reif, Michael Eichberg, Mira Mezini. 59-60 [doi]
• Copy and paste redeemedKrishna Narasimhan, Christoph Reichenbach. 61-62 [doi]
• Hidden Truths in Dead Software PathsMichael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz. 63-64 [doi]
• Effekte modellbasierter Test- und Analyseverfahren in Unternehmen - Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller FallstudienMichael Klaes. 65-66 [doi]
• Empirical software metrics for benchmarking of verification toolsYulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger. 67-68 [doi]
• An empirical study on program comprehension with reactive programmingGuido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini. 69-70 [doi]
• Supporting Process Model Validation through Natural Language GenerationHenrik Leopold, Jan Mendling, Artem Polyvyanyy. 71-72 [doi]
• Kognitive Belastung als lokales Komplexitätsmaß in GeschäftsprozessmodellenKathrin Figl, Ralf Laue 0001. 73-74 [doi]
• Automatic detection and resolution of lexical ambiguity in process modelsFabian Pittke, Henrik Leopold, Jan Mendling. 75-76 [doi]
• Design and evaluation of a customizable multi-domain reference architecture on top of product lines of self-driving heavy vehicles - an industrial case studyJan Schroeder, Daniela Holzner, Christian Berger 0001, Carl-Johan Hoel, Leo Laine, Anders Magnusson. 77-78 [doi]
• Counterexample guided abstraction refinement of product-line behavioural modelsMaxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker. 79-80 [doi]
• On facilitating reuse in multi-goal test-suite generation for software product linesMalte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer 0001. 81-82 [doi]
• How reviewers think about internal and external validity in empirical software engineeringJanet Siegmund, Norbert Siegmund, Sven Apel. 83-84 [doi]
• Understanding the influence of user participation and involvement on system success - a systematic mapping studyUlrike Abelein, Barbara Paech. 85-86 [doi]
• Hierarchical software landscape visualization for system comprehension: A controlled experimentFlorian Fittkau, Alexander Krause, Wilhelm Hasselbring. 87-88 [doi]
• Extracting frame conditions from operation contractsPhilipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille. 89-90 [doi]
• Umlchange - specifying model changes to support security verification of potential evolutionSven Wenzel, Daniel Poggenpohl, Jan Jürjens, Martín Ochoa. 91-92 [doi]
• A DSL-based approach for event-based monitoring of systems of systemsMichael Vierhauser, Rick Rabiser, Paul Grünbacher, Alexander Egyed. 93-94 [doi]
• Enhancing clone-and-own with systematic reuse for developing software variantsStefan Fischer 0006, Lukas Linsbauer, Roberto E. Lopez-Herrejon, Alexander Egyed. 95-96 [doi]
• Morpheus: variability-aware refactoring in the wildJörg Liebig, Sven Apel, Andreas Janker, Florian Garbe, Sebastian Oster. 97-98 [doi]
• Model-driven development of platform-independent mobile applications supporting role-based app variabilitySteffen Vaupel, Gabriele Taentzer, René Gerlach, Michael Guckert. 99-100 [doi]
• A simple and scalable static analysis for bound analysis and amortized complexity analysisMoritz Sinn, Florian Zuleger, Helmut Veith. 101-102 [doi]
• $GR(1)$ synthesis for LTL specification patternsShahar Maoz, Jan Oliver Ringert. 103-104 [doi]
• Witness validation and stepwise testification across software verifiersDirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer. 105-106 [doi]
• Evolution of software in automated production systems: challenges and research directionsBirgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy. 107-108 [doi]
• Do developers benefit from requirements traceability when evolving and maintaining a software system?Patrick Mäder, Alexander Egyed. 109-110 [doi]
• Development of flexible software process lines with variability operations: A longitudinal case studyJoachim Schramm, Patrick Dohrmann, Marco Kuhrmann. 111-112 [doi]
• Continuous Software EngineeringWilhelm Hasselbring. 113-114 [doi]
• Working with robots in smart homes and smart factories - robotic co-workingUwe Aßmann. 115 [doi]
• SE FIT: software engineering forum der IT transferinstituteMichael Felderer, Wilhelm Hasselbring. 117 [doi]
• ATPS 2016: 9. Arbeitstagung ProgrammiersprachenAndreas Krall, Ina Schaefer. 119-120 [doi]
• CPSSC: 1st international workshop on cyber-physical systems in the context of smart citiesConstantin Scheuermann, Andreas Seitz. 121-122 [doi]
• CSE 2016: workshop on continuous software engineeringHorst Lichter, Bernd Brügge, Dirk Riehle. 123-124 [doi]
• EMLS16: 3rd collaborative workshop on evolution and maintenance of long-living software systemsRobert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders. 125-126 [doi]
• FS-MCPS: 2nd workshop on fail safety in medical cyber-physical systemsAlexander Schlaefer, Sibylle Schupp, André Stollenwerk. 127-128 [doi]
• LehRE: 2. Workshop "Lehre für Requirements Engineering"Rüdiger Weißbach, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Dieter Landes. 129-130 [doi]