Source author record

Daniel Kraus

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

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

7 published item(s)

preprint2020arXiv

Session-Based Recommender Systems for Action Selection in GUI Test Generation

Test generation at the graphical user interface (GUI) level has proven to be an effective method to reveal faults. When doing so, a test generator has to repeatably decide what action to execute given the current state of the system under test (SUT). This problem of action selection usually involves random choice, which is often referred to as monkey testing. Some approaches leverage other techniques to improve the overall effectiveness, but only a few try to create human-like actions---or even entire action sequences. We have built a novel session-based recommender system that can guide test generation. This allows us to mimic past user behavior, reaching states that require complex interactions. We present preliminary results from an empirical study, where we use GitHub as the SUT. These results show that recommender systems appear to be well-suited for action selection, and that the approach can significantly contribute to the improvement of GUI-based test generation.

preprint2020arXiv

Visual Testing of GUIs by Abstraction

Ensuring the correct visual appearance of graphical user interfaces (GUIs) is important because visual bugs can cause substantial losses for businesses. An application might behave functionally correct in an automated test, but visual bugs can make the GUI effectively unusable for the user. Most of today's approaches for visual testing are pixel-based and tend to have flaws that are characteristic for image differencing. For instance, minor and unimportant visual changes often cause false positives, which confuse the user with unnecessary error reports. Our idea is to introduce an abstract GUI state (AGS), where we define structural relations to identify relevant GUI changes and ignore those that are unimportant from the user's point of view. In addition, we explore several strategies to address the GUI element identification problem in terms of AGS. This allows us to provide rich diagnostic information that help the user to better interpret changes. Based on the principles of golden master testing, we can support a fully-automated approach to visual testing by using the AGS. We have implemented our approach to visually test web pages and our experiments show that we are able to reliably detect GUI changes.

preprint2019arXiv

Hamiltonian structure of peakons as weak solutions for the modified Camassa-Holm equation

The modified Camassa-Holm (mCH) equation is a bi-Hamiltonian system possessing $N$-peakon weak solutions, for all $N\geq 1$, in the setting of an integral formulation which is used in analysis for studying local well-posedness, global existence, and wave breaking for non-peakon solutions. Unlike the original Camassa-Holm equation, the two Hamiltonians of the mCH equation do not reduce to conserved integrals (constants of motion) for $2$-peakon weak solutions. This perplexing situation is addressed here by finding an explicit conserved integral for $N$-peakon weak solutions for all $N\geq 2$. When $N$ is even, the conserved integral is shown to provide a Hamiltonian structure with the use of a natural Poisson bracket that arises from reduction of one of the Hamiltonian structures of the mCH equation. But when $N$ is odd, the Hamiltonian equations of motion arising from the conserved integral using this Poisson bracket are found to differ from the dynamical equations for the mCH $N$-peakon weak solutions. Moreover, the lack of conservation of the two Hamiltonians of the mCH equation when they are reduced to $2$-peakon weak solutions is shown to extend to $N$-peakon weak solutions for all $N\geq 2$. The connection between this loss of integrability structure and related work by Chang and Szmigielski on the Lax pair for the mCH equation is discussed.

preprint2016arXiv

D-vine copula based quantile regression

Quantile regression, that is the prediction of conditional quantiles, has steadily gained importance in statistical modeling and financial applications. The authors introduce a new semiparametric quantile regression method based on sequentially fitting a likelihood optimal D-vine copula to given data resulting in highly flexible models with easily extractable conditional quantiles. As a subclass of regular vine copulas, D-vines enable the modeling of multivariate copulas in terms of bivariate building blocks, a so-called pair-copula construction (PCC). The proposed algorithm works fast and accurate even in high dimensions and incorporates an automatic variable selection by maximizing the conditional log-likelihood. Further, typical issues of quantile regression such as quantile crossing or transformations, interactions and collinearity of variables are automatically taken care of. In a simulation study the improved accuracy and saved computational time of the approach in comparison with established quantile regression methods is highlighted. An extensive financial application to international credit default swap (CDS) data including stress testing and Value-at-Risk (VaR) prediction demonstrates the usefulness of the proposed method.

preprint2016arXiv

Examination and visualisation of the simplifying assumption for vine copulas in three dimensions

Vine copulas are a highly flexible class of dependence models, which are based on the decomposition of the density into bivariate building blocks. For applications one usually makes the simplifying assumption that copulas of conditional distributions are independent of the variables on which they are conditioned. However this assumption has been criticised for being too restrictive. We examine both simplified and non-simplified vine copulas in three dimensions and investigate conceptual differences. We show and compare contour surfaces of three-dimensional vine copula models, which prove to be much more informative than the contour lines of the bivariate marginals. Our investigation shows that non-simplified vine copulas can exhibit arbitrarily irregular shapes, whereas simplified vine copulas appear to be smooth extrapolations of their bivariate margins to three dimensions. In addition to a variety of constructed examples, we also investigate a three-dimensional subset of the well-known uranium data set and visually detect that a non-simplified vine copula is necessary to capture its complex dependence structure.

preprint2016arXiv

Model distances for vine copulas in high dimensions

Vine copulas are a flexible class of dependence models consisting of bivariate building blocks and have proven to be particularly useful in high dimensions. Classical model distance measures require multivariate integration and thus suffer from the curse of dimensionality. In this paper we provide numerically tractable methods to measure the distance between two vine copulas even in high dimensions. For this purpose, we consecutively develop three new distance measures based on the Kullback-Leibler distance, using the result that it can be expressed as the sum over expectations of KL distances between univariate conditional densities, which can be easily obtained for vine copulas. To reduce numerical calculations we approximate these expectations on adequately designed grids, outperforming Monte Carlo-integration with respect to computational time. In numerous examples and applications we illustrate the strengths and weaknesses of the developed distance measures.

preprint2015arXiv

The three-component defocusing nonlinear Schrodinger equation with nonzero boundary conditions

We present a rigorous theory of the inverse scattering transform (IST) for the three-component defocusing nonlinear Schrodinger (NLS) equation with initial conditions approaching constant values with the same amplitude as $x\to\pm\infty$. The theory combines and extends to a problem with non-zero boundary conditions three fundamental ideas: (i) the tensor approach used by Beals, Deift and Tomei for $n$-th order scattering problems, (ii) the triangular decompositions of the scattering matrix used by Novikov, Manakov, Pitaevski and Zakharov for the $N$-wave interaction equations, and (iii) a generalization of the cross product via the Hodge star duality, which, to the best of our knowledge, is used in the context of the IST for the first time in this work. The combination of the first two ideas allows us to rigorously obtain a fundamental set of analytic eigenfunctions. The third idea allows us to establish the symmetries of the eigenfunctions and scattering data. The results are used to characterize the discrete spectrum and to obtain exact soliton solutions, which describe generalizations of the so-called dark-bright solitons of the two-component NLS equation.