Source author record

Daniele Zuddas

Daniele Zuddas 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

13works
4topics
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

13 published item(s)

preprint2021arXiv

An Evolutionary Approach to Adapt Tests Across Mobile Apps

Automatic generators of GUI tests often fail to generate semantically relevant test cases, and thus miss important test scenarios. To address this issue, test adaptation techniques can be used to automatically generate semantically meaningful GUI tests from test cases of applications with similar functionalities. In this paper, we present ADAPTDROID, a technique that approaches the test adaptation problem as a search-problem, and uses evolutionary testing to adapt GUI tests (including oracles) across similar Android apps. In our evaluation with 32 popular Android apps, ADAPTDROID successfully adapted semantically relevant test cases in 11 out of 20 cross-app adaptation scenarios.

preprint2018arXiv

On branched covering representation of 4-manifolds

We provide new branched covering representations for bounded and/or non-compact 4-manifolds, which extend the known ones for closed 4-manifolds. Assuming $M$ to be a connected oriented PL 4-manifold, our main results are the following: (1) if $M$ is compact with (possibly empty) boundary, there exists a simple branched cover $p:M \to S^4 - \mathop{\mathrm{Int}}(B^4_1 \cup \dots \cup B^4_n)$, where the $B^4_i$'s are disjoint PL 4-balls, $n \geq 0$ is the number of boundary components of $M$; (2) if $M$ is open, there exists a simple branched cover $p : M \to S^4 - \mathop{\mathrm{End}} M$, where $\mathop{\mathrm{End}} M$ is the end space of $M$ tamely embedded in $S^4$. In both cases, the degree $d(p)$ and the branching set $B_p$ of $p$ can be assumed to satisfy one of these conditions: (1) $d(p)=4$ and $B_p$ is a properly self-transversally immersed locally flat PL surface; (2) $d(p)=5$ and $B_p$ is a properly embedded locally flat PL surface. In the compact (resp. open) case, by relaxing the assumption on the degree we can have $B^4$ (resp. $R^4$) as the base of the covering. We also define the notion of branched covering between topological manifolds, which extends the usual one in the PL category. In this setting, as an interesting consequence of the above results, we prove that any closed oriented topological 4-manifold is a 4-fold branched covering of $S^4$. According to almost-smoothability of 4-manifolds, this branched cover could be wild at a single point.

preprint2016arXiv

Non-Kähler complex structures on $R^4$ II

We follow our study of non-Kähler complex structures on $R^4$ that we defined in a previous paper. We prove that these complex surfaces do not admit any smooth complex compactification. Moreover, we give an explicit description of their meromorphic functions. We also prove that the Picard groups of these complex surfaces are uncountable, and give an explicit description of the canonical bundle. Finally, we show that any connected non-compact oriented 4-manifold admits complex structures without Kähler metrics.

preprint2016arXiv

On embeddings of almost complex manifolds in almost complex Euclidean spaces

We prove that any compact almost complex manifold $(M, J)$ of real dimension $2m$ admits a pseudo-holomorphic embedding in a Euclidean space of dimension $4m + 2$, endowed with a suitable non-standard almost complex structure. Moreover, we give a necessary and sufficient condition, expressed in terms of the Segre class of $(M, J)$, for the existence of an embedding or an immersion in an almost complex Euclidean $4m$-space. We also discuss the pseudo-holomorphic embeddings of an almost complex 4-manifold in $R^6$.

preprint2012arXiv

Universal Lefschetz fibrations over bounded surfaces

In analogy with the vector bundle theory we define universal and strongly universal Lefschetz fibrations over bounded surfaces. After giving a characterization of these fibrations we construct very special strongly universal Lefschetz fibrations when the fiber is the torus or an orientable surface with connected boundary and the base surface is the disk. As a by-product we also get some immersion results for 4-dimensional 2-handlebodies.