BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Stefan Wagner

Stefan Wagner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Software Engineeringastro-ph.HECryptography and Securitycond-mat.mes-hallphysics.app-phSystems and ControlArtificial IntelligenceHuman-Computer Interactionmath.DGmath.OAastro-ph.GAcs.CYeess.SYMachine Learningmath-phmath.MPNeural and Evolutionary ComputingProgramming Languagesastro-phDistributed, Parallel, and Cluster Computingmath.RANetworking and Internet Architecture

Catalog footprint

What is connected

65works
22topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

65 published item(s)

preprint2025arXiv

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review

The automotive domain is shifting to software-centric development to meet regulation, market pressure, and feature velocity. This shift increases embedded systems' complexity and strains testing capacity. Despite relevant standards, a coherent system-testing methodology that spans heterogeneous, legacy-constrained toolchains remains elusive, and practice often depends on individual expertise rather than a systematic strategy. We derive challenges and requirements from a systematic literature review (SLR), complemented by industry experience and practice. We map them to test case specification techniques and testing tools, evaluating their suitability for automotive testing using PRISMA. Our contribution is a curated catalog that supports technique/tool selection and can inform future testing frameworks and improvements. We synthesize nine recurring challenge areas across the life cycle, such as requirements quality and traceability, variability management, and toolchain fragmentation. We then provide a prioritized criteria catalog that recommends model-based planning, interoperable and traceable toolchains, requirements uplift, pragmatic automation and virtualization, targeted AI and formal methods, actionable metrics, and lightweight organizational practices.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Overwhelmed software developers: An Interpretative Phenomenological Analysis

In this paper, we report on an Interpretive Phenomenological Analysis (IPA) study on experiencing overwhelm in a software development context. The objectives of our study are, hence, to understand the experiences developers have when being overwhelmed, how this impacts their productivity and which role stress plays in the process. To this end, we interviewed two software developers who have experienced overwhelm recently. Throughout a qualitative analysis of the shared experiences, we uncover seven categories of overwhelm (communication, disturbance, organizational, variety, technical, temporal, and positive overwhelm). While the first six themes all are related to negative outcomes, including low productivity and stress, the participants reported that overwhelm can sometimes be experienced to be positive and pleasant, and it can increase their mental focus, self ambition, and productivity. Stress was the most mentioned feeling experienced when overwhelmed. Our findings, for the most, are along the same direction of similar studies from other disciplines and with other participants. However, there may be unique attributes to software developers that mitigate the negative experiences of overwhelm.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Complex group rings and group C*-algebras of group extensions

Let $N$ and $H$ be groups, and let $G$ be an extension of $H$ by $N$. In this article we describe the structure of the complex group ring of $G$ in terms of data associated with $N$ and $H$. In particular, we present conditions on the building blocks $N$ and $H$ guaranteeing that $G$ satisfies the zero-divisor and idempotent conjectures. Moreover, for central extensions involving amenable groups we present conditions on the building blocks guaranteeing that the Kadison-Kaplansky conjecture holds for the group C*-algebra of $G$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Learning in Feedback-driven Recurrent Spiking Neural Networks using full-FORCE Training

Feedback-driven recurrent spiking neural networks (RSNNs) are powerful computational models that can mimic dynamical systems. However, the presence of a feedback loop from the readout to the recurrent layer de-stabilizes the learning mechanism and prevents it from converging. Here, we propose a supervised training procedure for RSNNs, where a second network is introduced only during the training, to provide hint for the target dynamics. The proposed training procedure consists of generating targets for both recurrent and readout layers (i.e., for a full RSNN system). It uses the recursive least square-based First-Order and Reduced Control Error (FORCE) algorithm to fit the activity of each layer to its target. The proposed full-FORCE training procedure reduces the amount of modifications needed to keep the error between the output and target close to zero. These modifications control the feedback loop, which causes the training to converge. We demonstrate the improved performance and noise robustness of the proposed full-FORCE training procedure to model 8 dynamical systems using RSNNs with leaky integrate and fire (LIF) neurons and rate coding. For energy-efficient hardware implementation, an alternative time-to-first-spike (TTFS) coding is implemented for the full- FORCE training procedure. Compared to rate coding, full-FORCE with TTFS coding generates fewer spikes and facilitates faster convergence to the target dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Towards Immediate Feedback for Security Relevant Code in Development Environments

Nowadays, the correct use of cryptography libraries is essential to ensure the necessary information security in different kinds of applications. A common practice in software development is the use of static application security testing (SAST) tools to analyze code regarding security vulnerabilities. Most of these tools are designed to run separately from development environments. Their results are extensive lists of security notifications, which software developers have to inspect manually in a time-consuming follow-up step. To support developers in their tasks of developing secure code, we present an approach for providing them with continuous immediate feedback of SAST tools in integrated development environments (IDEs). Our approach also considers the understandability of security notifications and aims for a user-centered approach that leverages developers' feedback to build an adaptive system tailored to each individual developer.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A systematic mapping study on security countermeasures of in-vehicle communication systems

The innovations of vehicle connectivity have been increasing dramatically to enhance the safety and user experience of driving, while the rising numbers of interfaces to the external world also bring security threats to vehicles. Many security countermeasures have been proposed and discussed to protect the systems and services against attacks. To provide an overview of the current states in this research field, we conducted a systematic mapping study on the topic area "security countermeasures of in-vehicle communication systems". 279 papers are identified based on the defined study identification strategy and criteria. We discussed four research questions related to the security countermeasures, validation methods, publication patterns, and research trends and gaps based on the extracted and classified data. Finally, we evaluated the validity threats, the study identification results, and the whole mapping process. We found that the studies in this topic area are increasing rapidly in recent years. However, there are still gaps in various subtopics like automotive Ethernet security, anomaly reaction, and so on. This study reviews the target field not only related to research findings but also research activities, which can help identify research gaps at a high level and inspire new ideas for future work.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Extreme mutation testing in practice: An industrial case study

Mutation testing is used to evaluate the effectiveness of test suites. In recent years, a promising variation called extreme mutation testing emerged that is computationally less expensive. It identifies methods where their functionality can be entirely removed, and the test suite would not notice it, despite having coverage. These methods are called pseudo-tested. In this paper, we compare the execution and analysis times for traditional and extreme mutation testing and discuss what they mean in practice. We look at how extreme mutation testing impacts current software development practices and discuss open challenges that need to be addressed to foster industry adoption. For that, we conducted an industrial case study consisting of running traditional and extreme mutation testing in a large software project from the semiconductor industry that is covered by a test suite of more than 11,000 unit tests. In addition to that, we did a qualitative analysis of 25 pseudo-tested methods and interviewed two experienced developers to see how they write unit tests and gathered opinions on how useful the findings of extreme mutation testing are. Our results include execution times, scores, numbers of executed tests and mutators, reasons why methods are pseudo-tested, and an interview summary. We conclude that the shorter execution and analysis times are well noticeable in practice and show that extreme mutation testing supplements writing unit tests in conjunction with code coverage tools. We propose that pseudo-tested code should be highlighted in code coverage reports and that extreme mutation testing should be performed when writing unit tests rather than in a decoupled session. Future research should investigate how to perform extreme mutation testing while writing unit tests such that the results are available fast enough but still meaningful.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Formal Verification of a Fail-Operational Automotive Driving System

A fail-operational system for highly automated driving must complete the driving task even in the presence of a failure. This requires redundant architectures and a mechanism to reconfigure the system in case of a failure. Therefore, an arbitration logic is used. For functional safety, the switch-over to a fall-back level must be conducted in the presence of any electric and electronic failure. To provide evidence for a safety argumentation in compliance with ISO 26262, verification of the arbitration logic is necessary. The verification process provides confirmation of the correct failure reactions and that no unintended system states are attainable. Conventional safety analyses, such as the failure mode and effect analysis, have its limits in this regard. We present an analytical approach based on formal verification, in particular model checking, to verify the fail-operational behaviour of a driving system. For that reason, we model the system behaviour and the relevant architecture and formally specify the safety requirements. The scope of the analysis is defined according to the requirements of ISO 26262. We verify a fail-operational arbitration logic for highly automated driving in compliance with the industry standard. Our results show that formal methods for safety evaluation in automotive fail-operational driving systems can be successfully applied. We were able to detect failures, which would have been overlooked by other analyses and thus contribute to the development of safety critical functions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Lifting spectral triples to noncommutative principal bundles

Given a free action of a compact Lie group $G$ on a unital C*-algebra $\mathcal{A}$ and a spectral triple on the corresponding fixed point algebra $\mathcal{A}^G$, we present a systematic and in-depth construction of a spectral triple on $\mathcal{A}$ that is build upon the geometry of $\mathcal{A}^G$ and $G$. We compare our construction with a selection of established examples.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Software Engineering for AI-Based Systems: A Survey

AI-based systems are software systems with functionalities enabled by at least one AI component (e.g., for image- and speech-recognition, and autonomous driving). AI-based systems are becoming pervasive in society due to advances in AI. However, there is limited synthesized knowledge on Software Engineering (SE) approaches for building, operating, and maintaining AI-based systems. To collect and analyze state-of-the-art knowledge about SE for AI-based systems, we conducted a systematic mapping study. We considered 248 studies published between January 2010 and March 2020. SE for AI-based systems is an emerging research area, where more than 2/3 of the studies have been published since 2018. The most studied properties of AI-based systems are dependability and safety. We identified multiple SE approaches for AI-based systems, which we classified according to the SWEBOK areas. Studies related to software testing and software quality are very prevalent, while areas like software maintenance seem neglected. Data-related issues are the most recurrent challenges. Our results are valuable for: researchers, to quickly understand the state of the art and learn which topics need more research; practitioners, to learn about the approaches and challenges that SE entails for AI-based systems; and, educators, to bridge the gap among SE and AI in their curricula.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Testing in Global Software Development -- A Pattern Approach

Although testing is critical in GSD, its application in this context has not been deeply investigated so far. This work investigates testing in GSD. It provides support for test managers acting in a globally distributed environment. With this it closes a gap. The leading question is "What problems exist in testing in GSD and how can they be addressed in projects?" Decomposing this question we a) identify problems of testing in GSD projects and b) provide good practices to support practitioners in testing in GSD projects. The research is realized in the context of Capgemini Germany. Our contribution to solving the stated research problem is a collection of 16 patterns for testing in GSD projects. For practitioners the usage of the patterns is simplified by various views on the patterns. Herewith we stipulate research and support project managers and test managers in the realization of testing in GSD projects.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Quantitative Exploration of the 9-Factor Theory: Distribution of Leadership Roles between Scrum Master and Agile Team

A number of qualitative studies find that team leadership is one essential success factor for evolving into a mature agile team. One such qualitative study suggests the 9-Factor Theory of Scrum Master roles, which claims that the Scrum Master performs a set of 9 leadership roles which are transferred to the team over time (Spiegler et al., 2019). We aimed at conducting a quantitative exploration that examines the presence and change of the 9-Factory Theory in relation to team maturity. We conducted an online survey with 67 individuals at the conglomerate Robert Bosch GmbH. Descriptive statistics reveal that the Scrum Master and the agile team score differently on the 9 factors and that the Scrum Master role is most often distributed in teams that had been working between 3 and 5 months in an agile manner. Yet, we also find that the leadership roles predominantly remain with one dedicated Scrum Master. Based on our results we suggest to group the 9-Factor Theory into three clusters: the Scrum Master is rather linked to psychological team factors (1), while the team tends to be linked to rather product-related factors (2). Organizational factors (3) are less often present. Our practical implications suggest an extension of the Scrum Master description. Furthermore, our study lays groundwork for future quantitative testing of leadership in agile teams.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An Empirical Validation of Cognitive Complexity as a Measure of Source Code Understandability

Background: Developers spend a lot of their time on understanding source code. Static code analysis tools can draw attention to code that is difficult for developers to understand. However, most of the findings are based on non-validated metrics, which can lead to confusion and code, that is hard to understand, not being identified. Aims: In this work, we validate a metric called Cognitive Complexity which was explicitly designed to measure code understandability and which is already widely used due to its integration in well-known static code analysis tools. Method: We conducted a systematic literature search to obtain data sets from studies which measured code understandability. This way we obtained about 24,000 understandability evaluations of 427 code snippets. We calculated the correlations of these measurements with the corresponding metric values and statistically summarized the correlation coefficients through a meta-analysis. Results: Cognitive Complexity positively correlates with comprehension time and subjective ratings of understandability. The metric showed mixed results for the correlation with the correctness of comprehension tasks and with physiological measures. Conclusions: It is the first validated and solely code-based metric which is able to reflect at least some aspects of code understandability. Moreover, due to its methodology, this work shows that code understanding is currently measured in many different ways, which we also do not know how they are related. This makes it difficult to compare the results of individual studies as well as to develop a metric that measures code understanding in all its facets.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Challenges in Survey Research

While being an important and often used research method, survey research has been less often discussed on a methodological level in empirical software engineering than other types of research. This chapter compiles a set of important and challenging issues in survey research based on experiences with several large-scale international surveys. The chapter covers theory building, sampling, invitation and follow-up, statistical as well as qualitative analysis of survey data and the usage of psychometrics in software engineering surveys.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Constraining X-ray emission in HBL blazars using multiwavelength observations

The X-ray spectrum of extreme HBL type blazars is located in the synchrotron branch of the broadband spectral energy distribution (SED), at energies below the peak. A joint fit of the extrapolated X-ray spectra together with a host galaxy template allows characterizing the synchrotron branch in the SED. The X-ray spectrum is usually characterized either with a pure or a curved power-law model. In the latter case, however, it is hard to distinguish an intrinsic curvature from excess absorption. In this paper, we focus on five well-observed blazars: 1ES 0229+200, PKS 0548-322, RX J1136+6737, 1ES 1741+196, 1ES 2344+514. We constrain the infrared-to-X-ray emission of these five blazars using a model that is characterized by the host galaxy, spectral curvature, absorption, and ultraviolet excess to separate these spectral features. In the case of four sources: 1ES 0229+200, PKS 0548-322, 1ES 1741+196, 1ES 2344+514 the spectral fit with the atomic neutral hydrogen from the Leiden Argentina Bonn Survey result in a significant UV excess present in the broadband spectral energy distribution. Such excess can be interpreted as an additional component, for example, a blue bump. However, in order to describe spectra of these blazars without such excess, additional absorption to the atomic neutral hydrogen from the Leiden Argentina Bonn Survey is needed.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies

In practice there are deficiencies in precise interteam communications about system anomalies to perform troubleshooting and postmortem analysis along different teams operating complex IoT systems. We evaluate the quality in use of an adaptation of IEEE Std. 1044-2009 with the objective to differentiate the handling of fault detection and fault reaction from handling of defect and its options for defect correction. We extended the scope of IEEE Std. 1044-2009 from anomalies related to software only to anomalies related to complex IoT systems. To evaluate the quality in use of our classification a study was conducted at Robert Bosch GmbH. We applied our adaptation to a postmortem analysis of an IoT solution and evaluated the quality in use by conducting interviews with three stakeholders. Our adaptation was effectively applied and interteam communications as well as iterative and inductive learning for product improvement were enhanced. Further training and practice are required.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Data-Flow-Based Extension of the System-Theoretic Process Analysis for Security (STPA-Sec)

Security analysis is an essential activity in security engineering to identify potential system vulnerabilities and achieve security requirements in the early design phases. Due to the increasing complexity of modern systems, traditional approaches, which only consider component failures and simple cause-and-effect linkages, lack the power to identify insecure incidents caused by complex interactions among physical systems, human and social entities. By contrast, a top-down System-Theoretic Process Analysis for Security (STPA-Sec) approach views losses as resulting from interactions, focuses on controlling system vulnerabilities instead of external threats and is applicable for complex socio-technical systems. In this paper, we proposed an extension of STPA-Sec based on data flow structures to overcome STPA-Sec's limitations and achieve security constraints of information-critical systems systematically. We analyzed a Bluetooth digital key system of a vehicle by using both the proposed and the original approach to investigate the relationship and differences between both approaches as well as their applicability and highlights. To conclude, the proposed approach can identify more information-related problems with technical details and be used with other STPA-based approaches to co-design systems in multi-disciplines under the unified STPA process framework.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Fluid Intelligence Doesn't Matter! Effects of Code Examples on the Usability of Crypto APIs

Context: Programmers frequently look for the code of previously solved problems that they can adapt for their own problem. Despite existing example code on the web, on sites like Stack Overflow, cryptographic Application Programming Interfaces (APIs) are co monly misused. There is little known about what makes examples helpful for developers in using crypto APIs. Analogical problem solving is a psychological theory that investigates how people use known solutions to solve new problems. There is evidence that the capacity to reason and solve novel problems a.k.a Fluid Intelligence (Gf ) and structurally and procedurally similar solutions support problem solving. Aim: Our goal is to understand whether similarity and Gf also have an effect in the context of using cryptographic APIs with the help of code examples. Method: We conducted a controlled experiment with 76 student participants developing with or without procedurally similar examples, one of two Java crypto libraries and measured the Gf of the participants as well as the effect on usability (effectiveness, efficiency, satisfaction) and security bugs. Results: We observed a strong effect of code examples with a high procedural similarity on all dependent variables. Fluid intelligence Gf had no effect. It also made no difference which library the participants used. Conclusions: Example code must be more highly similar to a concrete solution, not very abstract and generic to have a positive effect in a development task.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Graphene ribbons with suspended masses as transducers in ultra-small nanoelectromechanical accelerometers

Nanoelectromechanical system (NEMS) sensors and actuators could be of use in the development of next generation mobile, wearable, and implantable devices. However, these NEMS devices require transducers that are ultra-small, sensitive and can be fabricated at low cost. Here, we show that suspended double-layer graphene ribbons with attached silicon proof masses can be used as combined spring-mass and piezoresistive transducers. The transducers, which are realized using processes that are compatible with large-scale semiconductor manufacturing technologies, can yield NEMS accelerometers that occupy at least two orders of magnitude smaller die area than conventional state-of-the-art silicon accelerometers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Manufacture and Characterization of Graphene Membranes with Suspended Silicon Proof Masses for MEMS and NEMS Applications

Unparalleled strength, chemical stability, ultimate surface-to-volume ratio and excellent electronic properties of graphene make it an ideal candidate as a material for membranes in micro- and nanoelectromechanical systems (MEMS and NEMS). However, the integration of graphene into MEMS or NEMS devices and suspended structures such as proof masses on graphene membranes raises several technological challenges, including collapse and rupture of the graphene. We have developed a robust route for realizing membranes made of double-layer CVD graphene and suspending large silicon proof masses on membranes with high yields. We have demonstrated the manufacture of square graphene membranes with side lengths from 7 micro meter to 110 micro meter and suspended proof masses consisting of solid silicon cubes that are from 5 micro meter multiply 5 micro meter multiply 16.4 micro meter to 100 micro meter multiply 100 micro meter multiply 16.4 micro meter in size. Our approach is compatible with wafer-scale MEMS and semiconductor manufacturing technologies, and the manufacturing yields of the graphene membranes with suspended proof masses were greater than 90%, with more than 70% of the graphene membranes having more than 90% graphene area without visible defects. The graphene membranes with suspended proof masses were extremely robust and were able to withstand indentation forces from an atomic force microscope (AFM) tip of up to ~7000 nN. The measured resonance frequencies of the realized structures ranged from tens to hundreds of kHz, with quality factors ranging from 63 to 148. The proposed approach for the reliable and large-scale manufacture of graphene membranes with suspended proof masses will enable the development and study of innovative NEMS devices with new functionalities and improved performances.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Microservices Migration in Industry: Intentions, Strategies, and Challenges

To remain competitive in a fast changing environment, many companies started to migrate their legacy applications towards a Microservices architecture. Such extensive migration processes require careful planning and consideration of implications and challenges likewise. In this regard, hands-on experiences from industry practice are still rare. To fill this gap in scientific literature, we contribute a qualitative study on intentions, strategies, and challenges in the context of migrations to Microservices. We investigated the migration process of 14 systems across different domains and sizes by conducting 16 in-depth interviews with software professionals from 10 companies. We present a separate description of each case and summarize the most important findings. As primary migration drivers, maintainability and scalability were identified. Due to the high complexity of their legacy systems, most companies preferred a rewrite using current technologies over splitting up existing code bases. This was often caused by the absence of a suitable decomposition approach. As such, finding the right service cut was a major technical challenge, next to building the necessary expertise with new technologies. Organizational challenges were especially related to large, traditional companies that simultaneously established agile processes. Initiating a mindset change and ensuring smooth collaboration between teams were crucial for them. Future research on the evolution of software systems will in particular profit from the individual cases presented.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Nanoelectromechanical Sensors based on Suspended 2D Materials

The unique properties and atomic thickness of two-dimensional (2D) materials enable smaller and better nanoelectromechanical sensors with novel functionalities. During the last decade, many studies have successfully shown the feasibility of using suspended membranes of 2D materials in pressure sensors, microphones, accelerometers, and mass and gas sensors. In this review, we explain the different sensing concepts and give an overview of the relevant material properties, fabrication routes, and device operation principles. Finally, we discuss sensor readout and integration methods and provide comparisons against the state of the art to show both the challenges and promises of 2D material-based nanoelectromechanical sensing.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Perception and Acceptance of an Autonomous Refactoring Bot

The use of autonomous bots for automatic support in software development tasks is increasing. In the past, however, they were not always perceived positively and sometimes experienced a negative bias compared to their human counterparts. We conducted a qualitative study in which we deployed an autonomous refactoring bot for 41 days in a student software development project. In between and at the end, we conducted semi-structured interviews to find out how developers perceive the bot and whether they are more or less critical when reviewing the contributions of a bot compared to human contributions. Our findings show that the bot was perceived as a useful and unobtrusive contributor, and developers were no more critical of it than they were about their human colleagues, but only a few team members felt responsible for the bot.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Stakeholder identification for a structured release planning approach in the automotive domain

Context: In regulated domains like automotive, release planning is a complex process. The agreement between traditional product development processes for hardware as well as mechanic systems and agile development approaches for software development is a major challenge. Especially the creation and synchronization of a release plan is challenging. Objective: The aim of this work is to present identified stakeholders of a release plan as an appropriate approach to create transparency in release planning in the automotive domain. Method: Action research to elaborate relevant stakeholders for release planning was conducted at Dr. Ing. h. c. F. Porsche AG. Results: We present a detailed overview of identified stakeholders due to release planning as well as their required content and added value regarding to two pilot projects. The results confirm the fact that almost every stakeholder is involved in a release plan in a certain way. Conclusions: Release planning within a complex project environment and complicated customer constellations is difficult to manage. We discuss how the presented stakeholders could meet with the given conditions in the automotive domain. With this contribution, identified stakeholders of release planning from hardware and software point of view is introduced. It helps to reach transparency and to handle the given complexity.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Suspended graphene membranes with attached silicon proof masses as piezoresistive NEMS accelerometers

Graphene is an atomically thin material that features unique electrical and mechanical properties, which makes it an extremely promising material for future nanoelectromechanical systems (NEMS). Recently, basic NEMS accelerometer functionality has been demonstrated by utilizing piezoresistive graphene ribbons with suspended silicon proof masses. However, the proposed graphene ribbons have limitations regarding mechanical robustness, manufacturing yield and the maximum measurement current that can be applied across the ribbons. Here, we report on suspended graphene membranes that are fully-clamped at their circumference and that have attached silicon proof masses. We demonstrate their utility as piezoresistive NEMS accelerometers and they are found to be more robust, have longer life span and higher manufacturing yield, can withstand higher measurement currents and are able to suspend larger silicon proof masses, as compared to the previously graphene ribbon devices. These findings are an important step towards bringing ultra-miniaturized piezoresistive graphene NEMS closer towards deployment in emerging applications such as in wearable electronics, biomedical implants and internet of things (IoT) devices.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

On Observability and Monitoring of Distributed Systems: An Industry Interview Study

Business success of companies heavily depends on the availability and performance of their client applications. Due to modern development paradigms such as DevOps and microservice architectural styles, applications are decoupled into services with complex interactions and dependencies. Although these paradigms enable individual development cycles with reduced delivery times, they cause several challenges to manage the services in distributed systems. One major challenge is to observe and monitor such distributed systems. This paper provides a qualitative study to understand the challenges and good practices in the field of observability and monitoring of distributed systems. In 28 semi-structured interviews with software professionals we discovered increasing complexity and dynamics in that field. Especially observability becomes an essential prerequisite to ensure stable services and further development of client applications. However, the participants mentioned a discrepancy in the awareness regarding the importance of the topic, both from the management as well as from the developer perspective. Besides technical challenges, we identified a strong need for an organizational concept including strategy, roles and responsibilities. Our results support practitioners in developing and implementing systematic observability and monitoring for distributed systems.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Open Science in Software Engineering

Open science describes the movement of making any research artefact available to the public and includes, but is not limited to, open access, open data, and open source. While open science is becoming generally accepted as a norm in other scientific disciplines, in software engineering, we are still struggling in adapting open science to the particularities of our discipline, rendering progress in our scientific community cumbersome. In this chapter, we reflect upon the essentials in open science for software engineering including what open science is, why we should engage in it, and how we should do it. We particularly draw from our experiences made as conference chairs implementing open science initiatives and as researchers actively engaging in open science to critically discuss challenges and pitfalls, and to address more advanced topics such as how and under which conditions to share preprints, what infrastructure and licence model to cover, or how do it within the limitations of different reviewing models, such as double-blind reviewing. Our hope is to help establishing a common ground and to contribute to make open science a norm also in software engineering.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Leadership Gap in Agile Teams: How Teams and Scrum Masters Mature

Motivation: How immature teams can become agile is a question that puzzles practitioners and researchers alike. Scrum is one method that supports agile working. Empirical research on the Scrum Master role remains scarce and reveals contradicting results. While the Scrum Master role is often centred on one person in rather immature teams, the role is expected to be shared among multiple members in mature teams. Objective: Therefore, we aim to understand how the Scrum Master role changes while the team matures. Method: We applied Grounded Theory and conducted qualitative interviews with 53 practitioners of 29 software and non-software project teams from Robert Bosch GmbH. Results: We discovered that Scrum Masters initially plays nine leadership roles which they transfer to the team while it matures. Roles can be transferred by providing a leadership gap, which allows team members to take on a leadership role, and by providing an internal team environment with communication on equal terms, psychological safety, transparency, shared understanding, shared purpose and self-efficacy. Conclusion: The Scrum Master role changes while the team matures. Trust and freedom to take over a leadership role in teams are essential enablers. Our results support practitioners in implementing agile teams in established companies.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Motivations, Classification and Model Trial of Conversational Agents for Insurance Companies

Advances in artificial intelligence have renewed interest in conversational agents. So-called chatbots have reached maturity for industrial applications. German insurance companies are interested in improving their customer service and digitizing their business processes. In this work we investigate the potential use of conversational agents in insurance companies by determining which classes of agents are of interest to insurance companies, finding relevant use cases and requirements, and developing a prototype for an exemplary insurance scenario. Based on this approach, we derive key findings for conversational agent implementation in insurance companies.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Using STPA in Compliance with ISO 26262 for Developing a Safe Architecture for Fully Automated Vehicles

Safety has become of paramount importance in the development lifecycle of the modern automobile systems. However, the current automotive safety standard ISO 26262 does not specify clearly the methods for safety analysis. Different methods are recommended for this purpose. FTA (Fault Tree Analysis) and FMEA (Failure Mode and Effects Analysis) are used in the most recent ISO 26262 applications to identify component failures, errors and faults that lead to specific hazards (in the presence of faults). However, these methods are based on reliability theory, and they are not adequate to address new hazards caused by dysfunctional component interactions, software failure or human error. A holistic approach was developed called STPA (Systems-Theoretic Process Analysis) which addresses more types of hazards and treats safety as a dynamic control problem rather than an individual component failure. STPA also addresses types of hazardous causes in the absence of failure. Accordingly, there is a need for investigating hazard analysis techniques like STPA. In this paper, we present a concept on how to use STPA to extend the safety scope of ISO 26262 and support the Hazard Analysis and Risk Assessments (HARA) process. We applied the proposed concept to a current project of a fully automated vehicle at Continental. As a result, we identified 24 system- level accidents, 176 hazards, 27 unsafe control actions, and 129 unsafe scenarios. We conclude that STPA is an effective and efficient approach to derive detailed safety constraints. STPA can support the functional safety engineers to evaluate the architectural design of fully automated vehicles and build the functional safety concept.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models

Context: Software quality is a complex concept. Therefore, assessing and predicting it is still challenging in practice as well as in research. Activity-based quality models break down this complex concept into concrete definitions, more precisely facts about the system, process, and environment as well as their impact on activities performed on and with the system. However, these models lack an operationalisation that would allow them to be used in assessment and prediction of quality. Bayesian networks have been shown to be a viable means for this task incorporating variables with uncertainty. Objective: The qualitative knowledge contained in activity-based quality models are an abundant basis for building Bayesian networks for quality assessment. This paper describes a four-step approach for deriving systematically a Bayesian network from an assessment goal and a quality model. Method: The four steps of the approach are explained in detail and with running examples. Furthermore, an initial evaluation is performed, in which data from NASA projects and an open source system is obtained. The approach is applied to this data and its applicability is analysed. Results: The approach is applicable to the data from the NASA projects and the open source system. However, the predictive results vary depending on the availability and quality of the data, especially the underlying general distributions. Conclusion: The approach is viable in a realistic context but needs further investigation in case studies in order to analyse its predictive validity.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models (Conference Version)

Assessing and predicting the complex concept of software quality is still challenging in practice as well as research. Activity-based quality models break down this complex con- cept into more concrete definitions, more precisely facts about the system, process and environment and their impact on ac- tivities performed on and with the system. However, these models lack an operationalisation that allows to use them in assessment and prediction of quality. Bayesian Networks (BN) have been shown to be a viable means for assessment and prediction incorporating variables with uncertainty. This paper describes how activity-based quality models can be used to derive BN models for quality assessment and pre- diction. The proposed approach is demonstrated in a proof of concept using publicly available data.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Comprehensive Model of Usability

Usability is a key quality attribute of successful software systems. Unfortunately, there is no common understanding of the factors influencing usability and their interrelations. Hence, the lack of a comprehensive basis for designing, analyzing, and improving user interfaces. This paper proposes a 2-dimensional model of usability that associates system properties with the activities carried out by the user. By separating activities and properties, sound quality criteria can be identified, thus facilitating statements concerning their interdependencies. This model is based on a tested quality meta-model that fosters preciseness and completeness. A case study demonstrates the manner by which such a model aids in revealing contradictions and omissions in existing usability standards. Furthermore, the model serves as a central and structured knowledge base for the entire quality assurance process, e.g. the automatic generation of guideline documents.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA and FMEA are most commonly used by safety analysts. Recently, STPA has been proposed with the goal to better cope with complex systems including software. Objective: This research aimed at comparing quantitatively these three safety analysis techniques with regard to their effectiveness, applicability, understandability, ease of use and efficiency in identifying software safety requirements at the system level. Method: We conducted a controlled experiment with 21 master and bachelor students applying these three techniques to three safety-critical systems: train door control, anti-lock braking and traffic collision and avoidance. Results: The results showed that there is no statistically significant difference between these techniques in terms of applicability, understandability and ease of use, but a significant difference in terms of effectiveness and efficiency is obtained. Conclusion: We conclude that STPA seems to be an effective method to identify software safety requirements at the system level. In particular, STPA addresses more different software safety requirements than the traditional techniques FTA and FMEA, but STPA needs more time to carry out by safety analysts with little or no prior experience.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A literature survey of the quality economics of defect-detection techniques

Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised those studies with different focuses, usually for a specific type of technique. This work reviews the results of empirical studies and associates them with a model of software quality economics. This allows a better comparison of the different techniques and supports the application of the model in practice as several parameters can be approximated with typical average values. The main contributions are the provision of average values of several interesting quantities w.r.t. defect detection and the identification of areas that need further research because of the limited knowledge available.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A model and sensitivity analysis of the quality economics of defect-detection techniques

One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defect-detection techniques are still not well understood. This paper proposes an analytical, stochastic model of the economics of defect detection and removal to improve this understanding. The model is able to incorporate dynamic as well as static techniques in contrast to most other models of that kind. We especially analyse the model with state-ofthe-art sensitivity analysis methods to (1) identify the most relevant factors for model simplification and (2) prioritise the factors to guide further research and measurements.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Software Reliability Model Based on a Geometric Sequence of Failure Rates

Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in different areas. This paper proposes a model that is based on a geometric sequence (or progression) of the failure rates of faults. This property of the failure process was observed in practice at Siemens among others and led to the development of the proposed model. It is described in detail and evaluated using standard criteria. Most importantly, the model performs constantly well over several projects in terms of its predictive validity.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis

The results of an automatic static analysis run can be overwhelming, especially for beginners. The overflow of information and the resulting need for many decisions is mentally tiring and can cause stress symptoms. There are several models in health care which are designed to fight stress. One of these is the salutogenesis model created by Aaron Antonovsky. In this paper, we will present an idea on how to transfer this model into a triage and recommendation model for static analysis tools and give an example of how this can be implemented in FindBugs, a static analysis tool for Java.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Empirical Research Plan: Effects of Sketching on Program Comprehension

Sketching is an important means of communication in software engineering practice. Yet, there is little research investigating the use of sketches. We want to contribute a better understanding of sketching, in particular its use during program comprehension. We propose a controlled experiment to investigate the effectiveness and efficiency of program comprehension with the support of sketches as well as what sketches are used in what way.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Integrating a Model of Analytical Quality Assurance into the V-Modell XT

Economic models of quality assurance can be an important tool for decision makers in software development projects. They enable to base quality assurance planning on economical factors of the product and the used defect-detection techniques. A variety of such models has been proposed but many are too abstract to be used in practice. Furthermore, even the more concrete models lack an integration with existing software development process models to increase their applicability. This paper describes an integration of a thorough stochastic model of the economics of analytical quality assurance with the systems development process model V-Modell XT. The integration is done in a modular way by providing a new process module - a concept directly available in the V-Modell XT for extension purposes - related to analytical quality assurance. In particular, we describe the work products, roles, and activities defined in our new process module and their effects on existing V-Modell XT elements.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Introduction of Static Quality Analysis in Small and Medium-Sized Software Enterprises: Experiences from Technology Transfer

Today, small and medium-sized enterprises (SMEs) in the software industry face major challenges. Their resource constraints require high efficiency in development. Furthermore, quality assurance (QA) measures need to be taken to mitigate the risk of additional, expensive effort for bug fixes or compensations. Automated static analysis (ASA) can reduce this risk because it promises low application effort. SMEs seem to take little advantage of this opportunity. Instead, they still mainly rely on the dynamic analysis approach of software testing. In this article, we report on our experiences from a technology transfer project. Our aim was to evaluate the results static analysis can provide for SMEs as well as the problems that occur when introducing and using static analysis in SMEs. We analysed five software projects from five collaborating SMEs using three different ASA techniques: code clone detection, bug pattern detection and architecture conformance analysis. Following the analysis, we applied a quality model to aggregate and evaluate the results. Our study shows that the effort required to introduce ASA techniques in SMEs is small (mostly below one person-hour each). Furthermore, we encountered only few technical problems. By means of the analyses, we could detect multiple defects in production code. The participating companies perceived the analysis results to be a helpful addition to their current QA and will include the analyses in their QA process. With the help of the Quamoco quality model, we could efficiently aggregate and rate static analysis results. However, we also encountered a partial mismatch with the opinions of the SMEs. We conclude, that ASA and quality models can be a valuable and affordable addition to the QA process of SMEs.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Links between the personalities, styles and performance in computer programming

There are repetitive patterns in strategies of manipulating source code. For example, modifying source code before acquiring knowledge of how a code works is a depth-first style and reading and understanding before modifying source code is a breadth-first style. To the extent we know there is no study on the influence of personality on them. The objective of this study is to understand the influence of personality on programming styles. We did a correlational study with 65 programmers at the University of Stuttgart. Academic achievement, programming experience, attitude towards programming and five personality factors were measured via self-assessed survey. The programming styles were asked in the survey or mined from the software repositories. Performance in programming was composed of bug-proneness of programmers which was mined from software repositories, the grades they got in a software project course and their estimate of their own programming ability. We did statistical analysis and found that Openness to Experience has a positive association with breadth-first style and Conscientiousness has a positive association with depth-first style. We also found that in addition to having more programming experience and better academic achievement, the styles of working depth-first and saving coarse-grained revisions improve performance in programming.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Managing Quality Requirements Using Activity-Based Quality Models

Managing requirements on quality aspects is an important issue in the development of software systems. Difficulties arise from expressing them appropriately what in turn results from the difficulty of the concept of quality itself. Building and using quality models is an approach to handle the complexity of software quality. A novel kind of quality models uses the activities performed on and with the software as an explicit dimension. These quality models are a well-suited basis for managing quality requirements from elicitation over refinement to assurance. The paper proposes such an approach and shows its applicability in an automotive case study.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Naming the Pain in Requirements Engineering: Comparing Practices in Brazil and Germany

As part of the Naming the Pain in Requirements Engineering (NaPiRE) initiative, researchers compared problems that companies in Brazil and Germany encountered during requirements engineering (RE). The key takeaway was that in RE, human interaction is necessary for eliciting and specifying high-quality requirements, regardless of country, project type, or company size.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Naming the Pain in Requirements Engineering: Design of a Global Family of Surveys and First Results from Germany

Context: For many years, we have observed industry struggling in defining a high quality requirements engineering (RE) and researchers trying to understand industrial expectations and problems. Although we are investigating the discipline with a plethora of empirical studies, those studies either concentrate on validating specific methods or on single companies or countries. Therefore, they allow only for limited empirical generalisations. Objective: To lay an empirical and generalisable foundation about the state of the practice in RE, we aim at a series of open and reproducible surveys that allow us to steer future research in a problem-driven manner. Method: We designed a globally distributed family of surveys in joint collaborations with different researchers from different countries. The instrument is based on an initial theory inferred from available studies. As a long-term goal, the survey will be regularly replicated to manifest a clear understanding on the status quo and practical needs in RE. In this paper, we present the design of the family of surveys and first results of its start in Germany. Results: Our first results contain responses from 30 German companies. The results are not yet generalisable, but already indicate several trends and problems. For instance, a commonly stated problem respondents see in their company standards are artefacts being underrepresented, and important problems they experience in their projects are incomplete and inconsistent requirements. Conclusion: The results suggest that the survey design and instrument are well-suited to be replicated and, thereby, to create a generalisable empirical basis of RE in practice.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises

Today's small and medium-sized enterprises (SMEs) in the software industry are faced with major challenges. While having to work efficiently using limited resources they have to perform quality assurance on their code to avoid the risk of further effort for bug fixes or compensations. Automated static analysis can reduce this risk because it promises little effort for running an analysis. We report on our experience in analysing five projects from and with SMEs by three different static analysis techniques: code clone detection, bug pattern detection and architecture conformance analysis. We found that the effort that was needed to introduce those techniques was small (mostly below one person-hour), that we can detect diverse defects in production code and that the participating companies perceived the usefulness of the presented techniques as well as our analysis results high enough to include the techniques in their quality assurance.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the Relationship of Inconsistent Software Clones and Faults: An Empirical Study

Background: Code cloning - copying and reusing pieces of source code - is a common phenomenon in software development in practice. There have been several empirical studies on the effects of cloning, but there are contradictory results regarding the connection of cloning and faults. Objective: Our aim is to clarify the relationship between code clones and faults. In particular, we focus on inconsistent (or type-3) clones in this work. Method: We conducted a case study with TWT GmbH where we detected the code clones in three Java systems, set them into relation to information from issue tracking and version control and interviewed three key developers. Results: Of the type-3 clones, 17 % contain faults. Developers modified most of the type-3 clones simultaneously and thereby fixed half of the faults in type-3 clones consistently. Type-2 clones with faults all evolved to fixed type-3 clones. Clone length is only weakly correlated with faultiness. Conclusion: There are indications that the developers in two cases have been aware of clones. It might be a reason for the weak relationship between type-3 clones and faults. Hence, it seems important to keep developers aware of clones, potentially with new tool support. Future studies need to investigate if the rate of faults in type-3 clones justifies using them as cues in defect detection.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Operationalised product quality models and assessment: The Quamoco approach

Software quality models provide either abstract quality characteristics or concrete quality measurements; there is no seamless integration of these two aspects. Reasons for this include the complexity of quality and the various quality profiles in different domains which make it difficult to build operationalised quality models. In the project Quamoco, we developed a comprehensive approach for closing this gap. It combined constructive research, which involved quality experts from academia and industry in workshops, sprint work and reviews, with empirical studies. All deliverables within the project were peer-reviewed by two project members from a different area. Most deliverables were developed in two or three iterations and underwent an evaluation. We contribute a comprehensive quality modelling and assessment approach: (1) A meta quality model defines the structure of operationalised quality models. It includes the concept of a product factor, which bridges the gap between concrete measurements and abstract quality aspects, and allows modularisation to create modules for specific domains. (2) A largely technology-independent base quality model reduces the effort and complexity of building quality models for specific domains. For Java and C# systems, we refined it with about 300 concrete product factors and 500 measures. (3) A concrete and comprehensive quality assessment approach makes use of the concepts in the meta-model. (4) An empirical evaluation of the above results using real-world software systems. (5) The extensive, open-source tool support is in a mature state. (6) The model for embedded software systems is a proof-of-concept for domain-specific quality models. We provide a broad basis for the development and application of quality models in industrial practice as well as a basis for further extension, validation and comparison with other approaches in research.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Quamoco Product Quality Modelling and Assessment Approach

Published software quality models either provide abstract quality attributes or concrete quality assessments. There are no models that seamlessly integrate both aspects. In the project Quamoco, we built a comprehensive approach with the aim to close this gap. For this, we developed in several iterations a meta quality model specifying general concepts, a quality base model covering the most important quality factors and a quality assessment approach. The meta model introduces the new concept of a product factor, which bridges the gap between concrete measurements and abstract quality aspects. Product factors have measures and instruments to operationalise quality by measurements from manual inspection and tool analysis. The base model uses the ISO 25010 quality attributes, which we refine by 200 factors and 600 measures for Java and C# systems. We found in several empirical validations that the assessment results fit to the expectations of experts for the corresponding systems. The empirical analyses also showed that several of the correlations are statistically significant and that the maintainability part of the base model has the highest correlation, which fits to the fact that this part is the most comprehensive. Although we still see room for extending and improving the base model, it shows a high correspondence with expert opinions and hence is able to form the basis for repeatable and understandable quality assessments in practice.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Use of Application Scanners in Software Product Quality Assessment

Software development needs continuous quality control for a timely detection and removal of quality problems. This includes frequent quality assessments, which need to be automated as far as possible to be feasible. One way of automation in assessing the security of software are application scanners that test an executing software for vulnerabilities. At present, common quality assessments do not integrate such scanners for giving an overall quality statement. This paper presents an integration of application scanners into a general quality assessment method based on explicit quality models and Bayesian nets. Its applicability and the detection capabilities of common scanners are investigated in a case study with two open-source web shops.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Tool Support for Continuous Quality Control

Over time, software systems suffer gradual quality decay and therefore costs can rise if organizations fail to take proactive countermeasures. Quality control is the first step to avoiding this cost trap. Continuous quality assessments help users identify quality problems early, when their removal is still inexpensive; they also aid decision making by providing an integrated view of a software system's current status. As a side effect, continuous and timely feedback helps developers and maintenance personnel improve their skills and thereby decreases the likelihood of future quality defects. To make regular quality control feasible, it must be highly automated, and assessment results must be presented in an aggregated manner to avoid overwhelming users with data. This article offers an overview of tools that aim to address these issues. The authors also discuss their own flexible, open-source toolkit, which supports the creation of dashboards for quality control.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Will My Tests Tell Me If I Break This Code?

Automated tests play an important role in software evolution because they can rapidly detect faults introduced during changes. In practice, code-coverage metrics are often used as criteria to evaluate the effectiveness of test suites with focus on regression faults. However, code coverage only expresses which portion of a system has been executed by tests, but not how effective the tests actually are in detecting regression faults. Our goal was to evaluate the validity of code coverage as a measure for test effectiveness. To do so, we conducted an empirical study in which we applied an extreme mutation testing approach to analyze the tests of open-source projects written in Java. We assessed the ratio of pseudo-tested methods (those tested in a way such that faults would not be detected) to all covered methods and judged their impact on the software project. The results show that the ratio of pseudo-tested methods is acceptable for unit tests but not for system tests (that execute large portions of the whole system). Therefore, we conclude that the coverage metric is only a valid effectiveness indicator for unit tests.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

X-ray spectral studies of TeV gamma-ray emitting blazars

This work is a summary of the X-ray spectral studies of 29 TeV $γ$-ray emitting blazars observed with Swift/XRT, especially focusing on sources for which X-ray regime allows to study the low and the high energy ends of the particle distributions function. Variability studies require simultaneous coverage, ideally sampling different flux states of each source. This is achieved using X-ray observations by disentangling the high-energy end of the synchrotron emission and the low-energy end of the Compton emission, which are produced by the same electron population. We focused on a sample of 29 TeV gamma-ray emitting blazars with the best signal-to-noise X-ray observations collected with Swift/XRT in the energy range of 0.3-10 keV during 10 years of Swift/XRT operations. We investigate the X-ray spectral shapes and the effects of different corrections for neutral hydrogen absorption and decompose the synchrotron and inverse Compton components. In the case of 5 sources (3C 66A, S5 0716+714, W Comae, 4C +21.35 and BL Lacertae) a superposition of both components is observed in the X-ray band, permitting simultaneous, time resolved studies of both ends of the electron distribution. The analysis of multi-epoch observations revealed that the break energy of X-ray spectrum varies only by a small factor with flux changes. Flux variability is more pronounced in the synchrotron domain (high-energy end of the electron distribution) than in the Compton domain (low energy end of the electron distribution). The spectral shape of the Compton domain is stable, while the flux of the synchrotron domain is variable. These changes cannot be described by simple variations of the cut-off energy, suggesting that the high-energy end of the electron distribution is not generally well-described by cooling only.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Longterm Optical Monitoring of Bright BL Lacertae Objects with ATOM: Spectral Variability and Multiwavelength Correlations

Blazars are the established sources of an intense and variable non-thermal radiation extending from radio wavelengths up to HE and VHE gamma-rays. Understanding the spectral evolution of blazars in selected frequency ranges, as well as multi-frequency correlations in various types of blazar sources, is of a primary importance for constraining the blazar physics. Here we present the results of a long-term optical monitoring of a sample of 30 blazars of the BL Lac type. We study the optical color-magnitude correlation patterns emerging in the analyzed sample, and compare the optical properties of the targets with the high-energy gamma-ray and high-frequency radio data. The optical observations were carried out in R and B filters using ATOM telescope. Each object was observed during at least 20 nights in the period 2007-2012. We find significant global color-magnitude correlations in 40 % of the sample. The sources which do not display any clear chromatism often do exhibit bluer-when-brighter (bwb) behavior but only in isolated shorter time intervals. We also discovered spectral state transitions at optical wavelengths in several sources. Finally, we find that the radio, optical, and gamma-ray luminosities of the sources obey almost linear correlations, which seem however induced, at least partly, by the redshift dependance, and may be also affected by non-simultaneousness of the analyzed dataset. We argue that the observed bwb behavior is intrinsic to the jet emission regions, at least for some of the analyzed blazars, rather than resulting from the contamination of the measured flux by the starlight of host galaxies. We also conclude that the significance of color-magnitude scalings does not correlate with the optical color, but instead seems to depend on the source luminosity, in a sense that these are the lowest-luminosity BL Lac objects which display the strongest correlations.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

PKS 1510-089: a rare example of a flat spectrum radio quasar with a very high-energy emission

The blazar PKS 1510-089 is an example of flat spectrum radio quasars. High-energy emissions from this class of objects are believed to have been produced by inverse Compton radiation with seed photons originating from the broad line region. In such a paradigm, a lack of very high-energy emissions is expected because of the Klein-Nishina effect and strong absorption in the broad line region. Recent detection of at least three such blazars by Cherenkov telescopes has forced a revision of our understanding of these objects. We have aimed to model the observed spectral energy distribution of PKS 1510-089 from the high-energy flares in March 2009, during which very high-energy emission were also detected by H.E.S.S. We have applied the single-zone internal shock scenario to reproduce the multiwavelength spectrum of PKS~1510-089. We have followed the evolution of the electrons as they propagate along the jet and emit synchrotron and inverse Compton radiation. We have considered two sources of external photons: the dusty torus and the broad line region. We have also examined the effects of the gamma-gamma absorption of the high-energy photons both in the AGN environment (the broad line region and the dusty torus), as well as while traveling over cosmological distances: the extragalactic background light. We have successfully modeled the observed spectrum of PKS 1510-089. In our model, the highest energy emission is the result of the Comptonization of the infrared photons from the dusty torus, thus avoiding Klein-Nishina regime, while the bulk of the emissions in the GeV range may still be dominated by the Comptonization of radiation coming from the broad line region.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection

Genetic programming is a powerful heuristic search technique that is used for a number of real world applications to solve among others regression, classification, and time-series forecasting problems. A lot of progress towards a theoretic description of genetic programming in form of schema theorems has been made, but the internal dynamics and success factors of genetic programming are still not fully understood. In particular, the effects of different crossover operators in combination with offspring selection are largely unknown. This contribution sheds light on the ability of well-known GP crossover operators to create better offspring when applied to benchmark problems. We conclude that standard (sub-tree swapping) crossover is a good default choice in combination with offspring selection, and that GP with offspring selection and random selection of crossover operators can improve the performance of the algorithm in terms of best solution quality when no solution size constraints are applied.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Geometric Approach to Noncommutative Principal Bundles

From a geometrical point of view it is, so far, not sufficiently well understood what should be a "noncommutative principal bundle". Still, there is a well-developed abstract algebraic approach using the theory of Hopf algebras. An important handicap of this approach is the ignorance of topological and geometrical aspects. The aim of this thesis is to develop a geometrically oriented approach to the noncommutative geometry of principal bundles based on dynamical systems and the representation theory of the corresponding transformation group.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

No X-Ray Excess from the HESS J1741-302 Region except a New Intermediate Polar Candidate

With the Suzaku satellite, we observed an unidentified TeV gamma-ray source HESS J1741$-$302 and its surroundings. No diffuse or point-like X-ray sources are detected from the bright southern emission peak of HESS J1741$-$302. From its neighborhood, we found a new intermediate polar candidate at the position of $(α, δ)_{\rm J2000.0} = (\timeform{17h40m35.6s}, \timeform{-30D14m16s})$, which is designated as Suzaku J174035.6$-$301416. The spectrum of Suzaku J174035.6$-$301416 exhibits emission lines at the energy of 6.4, 6.7 and 7.0 keV, which can be assigned as the K$α$ lines from neutral, He-like and H-like iron, respectively. A coherent pulsation is found at a period of 432.1 $\pm$ 0.1 s. The pulse profile is quasi-sinusoidal in the hard X-ray band (4$-$8 keV), but is more complicated in the soft X-ray band (1$-$3 keV). The moderate period of pulsation, the energy flux, and the presence of the iron K$α$ lines indicate that Suzaku J174035.6$-$301416 is likely an intermediate polar, a subclass of magnetized white dwarf binaries (cataclysmic variables). Based on these discoveries, we give some implications on the origin of GCDX and brief comments on HESS J1741$-$302 and PSR B1737$-$30.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Suzaku observation of the unidentified VHE gamma-ray source HESS J1702-420

A deep X-ray observation of the unidentified very high energy (VHE) gamma-ray source HESS J1702-420, for the first time, was carried out by Suzaku. No bright sources were detected in the XIS field of view (FOV) except for two faint point-like sources. The two sources, however, are considered not to be related to HESS J1702-420, because their fluxes in the 2-10 keV band (~ 10^-14 erg s^-1 cm^-2) are ~ 3 orders of magnitude smaller than the VHE gamma-ray flux in the 1-10 TeV band (F_{TeV} = 3.1 x 10^-11 erg s^-1 cm^-2). We compared the energy spectrum of diffuse emission, extracted from the entire XIS FOV with those from nearby observations. If we consider the systematic error of background subtraction, no significant diffuse emission was detected with an upper limit of F_X <2.7 x 10^-12 erg s^-1 cm^-2 in the 2-10 keV band for an assumed power-law spectrum of Γ=2.1 and a source size same as that in the VHE band. The upper limit of the X-ray flux is twelve times as small as the VHE gamma-ray flux. The large flux ratio (F_{TeV}/F_X) indicates that HESS J1702-420 is another example of a "dark" particle accelerator. If we use a simple one-zone leptonic model, in which VHE gamma-rays are produced through inverse Compton scattering of the cosmic microwave background and interstellar far-infrared emission, and the X-rays via the synchrotron mechanism, an upper limit of the magnetic field (1.7 μG) is obtained from the flux ratio. Because the magnetic field is weaker than the typical value in the Galactic plane (3-10 μG), the simple one-zone model may not work for HESS J1702-420 and a significant fraction of the VHE gamma-rays may originate from protons.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A search for VHE counterparts of Galactic Fermi bright sources and MeV to TeV spectral characterization

Very high-energy (VHE; E>100 GeV) gamma-rays have been detected from a wide range of astronomical objects, such as pulsar wind nebulae (PWNe), supernova remnants (SNRs), giant molecular clouds, gamma-ray binaries, the Galactic Center, active galactic nuclei (AGN), radio galaxies, starburst galaxies, and possibly star-forming regions as well. At lower energies, observations using the Large Area Telescope (LAT) onboard Fermi provide a rich set of data which can be used to study the behavior of cosmic accelerators in the MeV to TeV energy bands. In particular, the improved angular resolution of current telescopes in both bands compared to previous instruments significantly reduces source confusion and facilitates the identification of associated counterparts at lower energies. In this paper, a comprehensive search for VHE gamma-ray sources which are spatially coincident with Galactic Fermi/LAT bright sources is performed, and the available MeV to TeV spectra of coincident sources are compared. It is found that bright LAT GeV sources are correlated with TeV sources, in contrast to previous studies using EGRET data. Moreover, a single spectral component seems unable to describe the MeV to TeV spectra of many coincident GeV/TeV sources. It has been suggested that gamma-ray pulsars may be accompanied by VHE gamma-ray emitting nebulae, a hypothesis that can be tested with VHE observations of these pulsars.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A search for VHE counterparts of galactic Fermi sources

Very high-energy (VHE; E > 100 GeV) gamma-rays have been detected from a wide range of astronomical objects, such as SNRs, pulsars and pulsar wind nebulae, AGN, gamma-ray binaries, molecular clouds, and possibly star-forming regions as well. At lower energies, sources detected using Large Area Telescope (LAT) aboard Fermi provide a rich set of data which can be used to study the behavior of cosmic accelerators in the GeV to TeV energy bands. In particular, the improved angular resolution in both bands compared to previous instruments significantly reduces source confusion and facilitates the identification of associated counterparts at lower energies. In this talk, a comprehensive search for VHE gamma-ray sources which are spatially coincident with Galactic Fermi/LAT bright sources is performed, and the GeV to TeV spectra of selected coincident sources are shown. It is found that LAT bright GeV sources are correlated to TeV sources, in contrast with previous studies using EGRET data.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Resonant vibrations, peak broadening and noise in single molecule contacts: beyond the resonant tunnelling picture

We carry out experiments on single-molecule junctions at low temperatures, using the mechanically controlled break junction technique. Analyzing the results received with more than ten different molecules the nature of the first peak in the differential conductance spectra is elucidated. We observe an electronic transition with a vibronic fine structure, which is most frequently smeared out and forms a broad peak. In the usual parameter range we find strong indications that additionally fluctuations become active even at low temperatures. We conclude that the electrical field feeds instabilities, which are triggered by the onset of current. This is underscored by noise measurements that show strong anomalies at the onset of charge transport.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

X-Ray Observation of Very High Energy Gamma-Ray Source, HESS J1745-303, with Suzaku

Suzaku observations of a TeV unidentified (unID) source, HESS J1745-303, are presented. A possible excess of neutral iron line emission is discovered, and is likely associated with the main part of HESS J1745-303, named "region A". It may be an X-ray reflection nebula where the X-rays from previous Galactic Center (GC) activity are reflected by a molecular cloud. This result further strengthens the assumption that the molecular cloud which is spatially coincident with region A of HESS J1745-303 is located in the GC region. The TeV emission from molecular clouds is reminiscent of the diffuse TeV gamma-rays from the GC giant molecular clouds, and it could have the same emission mechanism. With deep exposure mapping observations by Suzaku, a tight upper-limit on the 2-10 keV continuum diffuse emission from region A is obtained, as 2.1x10^-13ergs s^-1cm^-2. The flux ratio between 1-10 TeV and 2-10 keV is larger than 4. Possible scenarios to reproduce wide-band spectra from keV to TeV are examined. Thermal X-rays from nearby two old supernova remnants, G359.0-0.9 and G359.1-0.5, are detected, and their emission properties are well determined in the present study with deep exposure.

0 citations0 reviewsNo code linkedOpen access