Researcher profile

Daniel Kraus

Daniel Kraus contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

3 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.