Source author record

Stefan Fischer

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

ResearcherUnclaimed source record

Software Engineering Networking and Internet Architecture cond-mat.mtrl-sci Cryptography and Security Data Structures and Algorithms physics.optics

Catalog footprint

What is connected

8works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2023arXiv

Exploring a Test Data-Driven Method for Selecting and Constraining Metamorphic Relations

Identifying and selecting high-quality Metamorphic Relations (MRs) is a challenge in Metamorphic Testing (MT). While some techniques for automatically selecting MRs have been proposed, they are either domain-specific or rely on strict assumptions about the applicability of a pre-defined MRs. This paper presents a preliminary evaluation of MetaTrimmer, a method for selecting and constraining MRs based on test data. MetaTrimmer comprises three steps: generating random test data inputs for the SUT (Step 1), performing test data transformations and logging MR violations (Step 2), and conducting manual inspections to derive constraints (Step 3). The novelty of MetaTrimmer is its avoidance of complex prediction models that require labeled datasets regarding the applicability of MRs. Moreover, MetaTrimmer facilitates the seamless integration of MT with advanced fuzzing for test data generation. In a preliminary evaluation, MetaTrimmer shows the potential to overcome existing limitations and enhance MR effectiveness.

preprint2023arXiv

Towards Automatic Generation of Amplified Regression Test Oracles

Regression testing is crucial in ensuring that pure code refactoring does not adversely affect existing software functionality, but it can be expensive, accounting for half the cost of software maintenance. Automated test case generation reduces effort but may generate weak test suites. Test amplification is a promising solution that enhances tests by generating additional or improving existing ones, increasing test coverage, but it faces the test oracle problem. To address this, we propose a test oracle derivation approach that uses object state data produced during System Under Test (SUT) test execution to amplify regression test oracles. The approach monitors the object state during test execution and compares it to the previous version to detect any changes in relation to the SUT's intended behaviour. Our preliminary evaluation shows that the proposed approach can enhance the detection of behaviour changes substantially, providing initial evidence of its effectiveness.

preprint2022arXiv

Using Source Code Metrics for Predicting Metamorphic Relations at Method Level

Metamorphic testing (TM) examines the relations between inputs and outputs of test runs. These relations are known as metamorphic relations (MR). Currently, MRs are handpicked and require in-depth knowledge of the System Under Test (SUT), as well as its problem domain. As a result, the identification and selection of high-quality MRs is a challenge. \citeauthor{PMR1} suggested the Predicting Metamorphic Relations (PMR) approach for automatic prediction of applicable MRs picked from a predefined list. PMR is based on a Support Vector Machine (SVM) model using features derived from the Control Flow Graphs (CFGs) of 100 Java methods. The original study of \citeauthor{PMR1} showed encouraging results, but developing classification models from CFG-related features is costly. In this paper, we aim at developing a PMR approach that is less costly without losing performance. We complement the original PMR approach by considering other than CFG-related features. We define 21 features that can be directly extracted from source code and build several classifiers, including SVM models. Our results indicate that using the original CFG-based method-level features, in particular for a SVM with random walk kernel (RWK), achieve better predictions in terms of AUC-ROC for most of the candidate MRs than our models. However, for one of the candidate MRs, using source code features achieved the best AUC-ROC result (greater than 0.8).

preprint2020arXiv

Towards Fault Localization via Probabilistic Software Modeling

Software testing helps developers to identify bugs. However, awareness of bugs is only the first step. Finding and correcting the faulty program components is equally hard and essential for high-quality software. Fault localization automatically pinpoints the location of an existing bug in a program. It is a hard problem, and existing methods are not yet precise enough for widespread industrial adoption. We propose fault localization via Probabilistic Software Modeling (PSM). PSM analyzes the structure and behavior of a program and synthesizes a network of Probabilistic Models (PMs). Each PM models a method with its inputs and outputs and is capable of evaluating the likelihood of runtime data. We use this likelihood evaluation to find fault locations and their impact on dependent code elements. Results indicate that PSM is a robust framework for accurate fault localization.

preprint2015arXiv

Upconverting Core-Shell Nanocrystals with High Quantum Yield under Low Irradiance: On the Role of Isotropic and Thick Shells

Colloidal upconverter nanocrystals (UCNCs) that convert near-infrared photons to higher energies are promising for applications ranging from life sciences to solar energy harvesting. However, practical applications of UCNCs are hindered by their low upconversion quantum yield (UCQY) and the high irradiances necessary to produce relevant upconversion luminescence. Achieving high UCQY under practically relevant irradiance remains a major challenge. The UCQY is severely limited due to non-radiative surface quenching processes. We present a rate equation model for migration of the excitation energy to show that surface quenching does not only affect the lanthanide ions directly at the surface but also many other lanthanide ions quite far away from the surface. The average migration path length is in the order of several nanometers and depends on the doping as well as the irradiance of the excitation. Using Er3+-doped beta-NaYF4 UCNCs, we show that very isotropic and thick (~10 nm) beta-NaLuF4 inert shells dramatically reduce the surface-related quenching processes, resulting in much brighter upconversion luminescence at simultaneously considerably lower irradiances. For these UCNCs embedded in PMMA, we determined an internal UCQY of 2.0+-0.2 % using an irradiance of only 0.43+-0.03 W/cm2 at 1523 nm. Normalized to the irradiance, this UCQY is 120x higher than the highest values of comparable nanomaterials in the literature. Our findings demonstrate the important role of isotropic and thick shells in achieving high UCQY at low irradiances from UCNCs. Additionally, we measured the additional short-circuit current due to upconversion in silicon solar cell devices as a proof concept and to support our findings determined using optical measurements.

preprint2014arXiv

A Security Architecture for Mobile Wireless Sensor Networks

Wireless sensor networks increasingly become viable solutions to many challenging problems and will successively be deployed in many areas in the future. However, deploying new technology without security in mind has often proved to be unreasonably dangerous. We propose a security architecture for self-organizing mobile wireless sensor networks that prevents many attacks these networks are exposed to. Furthermore, it limits the security impact of some attacks that cannot be prevented. We analyse our security architecure and show that it provides the desired security aspects while still being a lightweight solution and thus being applicable for self-organizing mobile wireless sensor networks.

preprint2012arXiv

Plasmon enhanced upconversion luminescence near gold nanoparticles - Simulation and analysis of the interactions

We investigate plasmon resonances in gold nanoparticles to enhance the quantum yield of upconverting materials. For this purpose, we use a rate equation model that describes the upconversion of trivalent erbium based upconverters. Changes of the optical field acting on the upconverter and the changes to the transition probabilities of the upconverter in the proximity of a gold nanoparticle are calculated using Mie theory and exact electrodynamic theory respectively. With this data, the influence on the luminescence of the upconverter is determined using the rate equation model. The results show that upconversion luminescence can be increased in the proximity of a spherical gold nanoparticle due to the change in the optical field and the modification of the transition rates.

preprint2010arXiv

Empowered by Wireless Communication: Self-Organizing Traffic Collectives

In recent years, tremendous progress has been made in understanding the dynamics of vehicle traffic flow and traffic congestion by interpreting traffic as a multi-particle system. This helps to explain the onset and persistence of many undesired phenomena, e.g., traffic jams. It also reflects the apparent helplessness of drivers in traffic, who feel like passive particles that are pushed around by exterior forces; one of the crucial aspects is the inability to communicate and coordinate with other traffic participants. We present distributed methods for solving these fundamental problems, employing modern wireless, ad-hoc, multi-hop networks. The underlying idea is to use these capabilities as the basis for self-organizing methods for coordinating data collection and processing, recognizing traffic phenomena, and changing their structure by coordinated behavior. The overall objective is a multi-level approach that reaches from protocols for local wireless communication, data dissemination, pattern recognition, over hierarchical structuring and coordinated behavior, all the way to large-scale traffic regulation. In this article we describe three types of results: (i) self-organizing and distributed methods for maintaining and collecting data (using our concept of Hovering Data Clouds); (ii) adaptive data dissemination for traffic information systems; (iii) methods for self-recognition of traffic jams. We conclude by describing higher-level aspects of our work.