Source author record

Daniele Zuddas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
4topics
4close collaborators

Published work

13 publications

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 MM to be a connected oriented PL 4-manifold, our main results are the following: (1) if MM is compact with (possibly empty) boundary, there exists a simple branched cover p:M→S4−Int(B14∪⋯∪Bn4)p:M \to S^4 - \mathop{\mathrm{Int}}(B^4_1 \cup \dots \cup B^4_n), where the Bi4B^4_i's are disjoint PL 4-balls, n≥0n \geq 0 is the number of boundary components of MM; (2) if MM is open, there exists a simple branched cover p:M→S4−EndMp : M \to S^4 - \mathop{\mathrm{End}} M, where EndM\mathop{\mathrm{End}} M is the end space of MM tamely embedded in S4S^4. In both cases, the degree d(p)d(p) and the branching set BpB_p of pp can be assumed to satisfy one of these conditions: (1) d(p)=4d(p)=4 and BpB_p is a properly self-transversally immersed locally flat PL surface; (2) d(p)=5d(p)=5 and BpB_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 B4B^4 (resp. R4R^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 S4S^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 R4R^4 II

We follow our study of non-Kähler complex structures on R4R^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)(M, J) of real dimension 2m2m admits a pseudo-holomorphic embedding in a Euclidean space of dimension 4m+24m + 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)(M, J), for the existence of an embedding or an immersion in an almost complex Euclidean 4m4m-space. We also discuss the pseudo-holomorphic embeddings of an almost complex 4-manifold in R6R^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.

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.