Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.

The book compares the texts of three Swiss authors: Ella Maillart, Annemarie Schwarzenbach and Nicolas Bouvier. The focus is on their trip from Genève to Kabul that Ella Maillart and Annemarie Schwarzenbach made together in 1939/1940 and Nicolas Bouvier 1953/1954 with the artist Thierry Vernet. The comparison shows the strong connection between the journey and life and between ars vivendi and travel literature. This book also gives an overview of and organises the numerous terms, genres, and categories that already exist to describe various travel texts and proposes the new term travelling narration. The travelling narration looks at the text from a narratological perspective that distinguishes the author, narrator, and protagonist within the narration. In the examination, ten motifs could be found to characterise the travelling narration: Culture, Crossing Borders, Freedom, Time and Space, the Aesthetics of Landscapes, Writing and Reading, the Self and/as the Other, Home, Religion and Spirituality as well as the Journey. The importance of each individual motif does not only apply in the 1930s or 1950s but also transmits important findings for living together today and in the future.

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.

Le Président de la République française, Emmanuel Macron, a prononcé le 26 septembre 2017 dans le grand auditorium de l’Université de la Sorbonne devant un public composé d’étudiants et de responsables politiques un ambitieux discours sur l’Europe. Parmi ses « initiatives pour l’Europe » figure la création d’universités européennes. L’objectif de cette étude est de mettre en lumière l’héritage et les apports français et allemands dans ce nouveau modèle de partenariat européen en construction. Quel est le rôle joué par le niveau ministériel en France et en Allemagne dans le cadre de la mise en œuvre de l’initiative ? Quel est le degré et quelle est la nature d’intervention des Agences nationales Erasmus dans chacun des deux pays ? Quel est le positionnement de l’Université franco-allemande par rapport à ces nouvelles alliances ainsi que sa contribution ? À partir de trois exemples, à savoir les alliances ECIU, EPICUR et FORTHM, nous illustrons comment la coopération franco-allemande ainsi que les relations transfrontalières développées au sein de réseaux préexistants alimentent ces « réseaux des réseaux ». Ce mémoire puise ses principales sources de 15 entretiens semi-directifs, menés entre août 2020 et janvier 2021 auprès d’acteurs allemands, français et européens. La richesse de leur expertise nourrit la conclusion dans laquelle nous tentons de mettre en exergue la dimension franco-allemande de cette initiative. Avec un regard franco-allemand, nous proposons un résumé des actuelles forces, opportunités, faiblesses et menaces qui favorisent ou entravent le développement de cette nouvelle initiative. Der Präsident der französischen Republik, Emmanuel Macron, hielt am 26. September 2017 im großen Hörsaal der Universität Sorbonne vor einem Publikum aus Studenten und Politikern eine ambitionierte Rede zu Europa. Zu seinen "Initiativen für Europa" gehört die Schaffung von Europäischen Hochschulnetzwerken. Das Ziel dieser Masterarbeit besteht darin, das deutsch-französische Erbe sowie die Beiträge beider Länder in diesen neuen Modellen zu untersuchen :.Welche Rolle spielt die ministerielle Ebene in Frankreich und Deutschland bei der Umsetzung der Initiative? In welchem Umfang und auf welche Art und Weise beteiligen sich die nationalen Erasmus-Agenturen in beiden Ländern ? Welche Position nimmt die Deutsch-Französische Hochschule in Bezug auf diese neuen Allianzen ein und welche Unterstützung bietet sie? Anhand von drei Beispielen, den Allianzen ECIU, EPICUR und FORTHM, wird beschrieben, welche Beiträge die deutsch-französische Zusammenarbeit sowie grenzüberschreitende Kooperationen leisten. Die Hauptquellen für diese Masterarbeit stellen 15 semidirektive Experteninterviews dar, die zwischen August 2020 und Januar 2021 mit deutschen, französischen und europäischen Akteuren geführt wurden. Der Reichtum ihrer Expertise fließt in die Schlussfolgerung ein, in der wir versuchen, die deutsch-französische Dimension dieser Initiative hervorzuheben. Mit einer deutsch-französischen Perspektive versuchen wir, die Stärken, Chancen, Schwächen und Bedrohungen zusammenzufassen, die die Entwicklung dieser neuen Initiative begünstigen oder behindern. The President of the French Republic, Emmanuel Macron, gave an ambitious speech on Europe to an audience of students and politicians in the large lecture hall of the Sorbonne University on 26 September 2017. Among his "Initiatives for Europe" is the creation of European University Networks. The aim of this Master's thesis is to examine the Franco-German heritage and the contributions of both countries in these new models :.What is the role of the ministerial level in France and Germany in the implementation of the initiative? To what extent and in what way do the national Erasmus agencies in both countries participate ? What is the position of the Franco-German University in relation to these new alliances and what support does it offer? Using three examples, the ECIU, EPICUR and FORTHM alliances, the contributions of Franco-German cooperation and cross-border cooperation are described. The main sources for this Master's thesis are 15 semi-directive expert interviews conducted with German, French and European actors between August 2020 and January 2021. The wealth of their expertise feeds into the conclusion, in which we try to highlight the Franco-German dimension of this initiative. With a Franco-German perspective, we try to summarise the strengths, opportunities, weaknesses and threats that favour or hinder the development of this new initiative.

On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture. In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects. In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials. The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk. The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report. The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery. The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI. Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application. The last chapter provides a summary and an outlook on the future of digital education.