-
Detecting Semantic Conflicts with Unit Tests
Authors:
Léuson Da Silva,
Paulo Borba,
Toni Maciel,
Wardah Mahmood,
Thorsten Berger,
João Moisakis,
Aldiberg Gomes,
Vinícius Leite
Abstract:
Branching and merging are common practices in collaborative software development, increasing developer's productivity. Despite such benefits, developers need to merge software and resolve merge conflicts. While modern merge techniques can resolve textual conflicts automatically, they fail when the conflict arises at the semantic level. Although semantic merge tools have been proposed, they are usu…
▽ More
Branching and merging are common practices in collaborative software development, increasing developer's productivity. Despite such benefits, developers need to merge software and resolve merge conflicts. While modern merge techniques can resolve textual conflicts automatically, they fail when the conflict arises at the semantic level. Although semantic merge tools have been proposed, they are usually based on heavyweight static analyses or need explicit specifications of program behavior. In this work, we take a different route and propose SAM (SemAntic Merge), a semantic merge tool based on the automated generation of unit tests that are used as partial specifications. To evaluate SAM's feasibility for detecting conflicts, we perform an empirical study analyzing more than 80 pairs of changes integrated into common class elements from 51 merge scenarios. Furthermore, we also assess how the four unit-test generation tools used by SAM contribute to conflict identification. We propose and assess the adoption of Testability Transformations and Serialization. Our results show that SAM best performs when combining only the tests generated by Differential EvoSuite and EvoSuite and using the proposed Testability Transformations (nine detected conflicts out of 28). These results reinforce previous findings about the potential of using test-case generation to detect test conflicts.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Seamless Variability Management With the Virtual Platform
Authors:
Wardah Mahmood,
Daniel Strüber,
Thorsten Berger,
Ralf Lämmel,
Mukelabai Mukelabai
Abstract:
Customization is a general trend in software engineering, demanding systems that support variable stakeholder requirements. Two opposing strategies are commonly used to create variants: software clone & own and software configuration with an integrated platform. Organizations often start with the former, which is cheap, agile, and supports quick innovation, but does not scale. The latter scales by…
▽ More
Customization is a general trend in software engineering, demanding systems that support variable stakeholder requirements. Two opposing strategies are commonly used to create variants: software clone & own and software configuration with an integrated platform. Organizations often start with the former, which is cheap, agile, and supports quick innovation, but does not scale. The latter scales by establishing an integrated platform that shares software assets between variants, but requires high up-front investments or risky migration processes. So, could we have a method that allows an easy transition or even combine the benefits of both strategies? We propose a method and tool that supports a truly incremental development of variant-rich systems, exploiting a spectrum between both opposing strategies. We design, formalize, and prototype the variability-management framework virtual platform. It bridges clone & own and platform-oriented development. Relying on programming-language-independent conceptual structures representing software assets, it offers operators for engineering and evolving a system, comprising: traditional, asset-oriented operators and novel, feature-oriented operators for incrementally adopting concepts of an integrated platform. The operators record meta-data that is exploited by other operators to support the transition. Among others, they eliminate expensive feature-location effort or the need to trace clones. Our evaluation simulates the evolution of a real-world, clone-based system, measuring its costs and benefits.
△ Less
Submitted 2 March, 2021; v1 submitted 28 February, 2021;
originally announced March 2021.
-
Benchmark Performance of Machine And Deep Learning Based Methodologies for Urdu Text Document Classification
Authors:
Muhammad Nabeel Asim,
Muhammad Usman Ghani,
Muhammad Ali Ibrahim,
Sheraz Ahmad,
Waqar Mahmood,
Andreas Dengel
Abstract:
In order to provide benchmark performance for Urdu text document classification, the contribution of this paper is manifold. First, it pro-vides a publicly available benchmark dataset manually tagged against 6 classes. Second, it investigates the performance impact of traditional machine learning based Urdu text document classification methodologies by embedding 10 filter-based feature selection a…
▽ More
In order to provide benchmark performance for Urdu text document classification, the contribution of this paper is manifold. First, it pro-vides a publicly available benchmark dataset manually tagged against 6 classes. Second, it investigates the performance impact of traditional machine learning based Urdu text document classification methodologies by embedding 10 filter-based feature selection algorithms which have been widely used for other languages. Third, for the very first time, it as-sesses the performance of various deep learning based methodologies for Urdu text document classification. In this regard, for experimentation, we adapt 10 deep learning classification methodologies which have pro-duced best performance figures for English text classification. Fourth, it also investigates the performance impact of transfer learning by utiliz-ing Bidirectional Encoder Representations from Transformers approach for Urdu language. Fifth, it evaluates the integrity of a hybrid approach which combines traditional machine learning based feature engineering and deep learning based automated feature engineering. Experimental results show that feature selection approach named as Normalised Dif-ference Measure along with Support Vector Machine outshines state-of-the-art performance on two closed source benchmark datasets CLE Urdu Digest 1000k, and CLE Urdu Digest 1Million with a significant margin of 32%, and 13% respectively. Across all three datasets, Normalised Differ-ence Measure outperforms other filter based feature selection algorithms as it significantly uplifts the performance of all adopted machine learning, deep learning, and hybrid approaches. The source code and presented dataset are available at Github repository.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
First principles calculations on theoretical band gap improvement of IIIA-VA zinc-blende semiconductor InAs
Authors:
Waqas Mahmood,
Arfan Bukhtiar,
Muhammad Haroon,
Bing Dong
Abstract:
The structural, electronic, dielectric and vibrational properties of zinc-blende (ZB) InAs were studied within the framework of density functional theory (DFT) by employing local density approximation and norm-conserving pseudopotentials. The optimal lattice parameter, direct band gap, static dielectric constant, phonon frequencies and Born effective charges calculated by treating In-4d electrons…
▽ More
The structural, electronic, dielectric and vibrational properties of zinc-blende (ZB) InAs were studied within the framework of density functional theory (DFT) by employing local density approximation and norm-conserving pseudopotentials. The optimal lattice parameter, direct band gap, static dielectric constant, phonon frequencies and Born effective charges calculated by treating In-4d electrons as valence states are in satisfactory agreement with other reported theoretical and experimental findings. The calculated band gap is reasonably accurate and improved in comparison to other findings.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
Application of k . p method on band structure of GaAs obtained through joint density functional theory
Authors:
Waqas Mahmood,
Bing Dong
Abstract:
The structural and electronic properties of zinc-blende (ZB) GaAs were calculated within the framework of plane wave density-functional theory (DFT) code JDFTx by using Becke 86 in 2D and PBE exchange correlation functionals from libXC. The standard optimized norm-conserving Vanderbilt pseudopotentials were used to calculate optimized lattice constant, band gap and spin-orbit split-off parameter.…
▽ More
The structural and electronic properties of zinc-blende (ZB) GaAs were calculated within the framework of plane wave density-functional theory (DFT) code JDFTx by using Becke 86 in 2D and PBE exchange correlation functionals from libXC. The standard optimized norm-conserving Vanderbilt pseudopotentials were used to calculate optimized lattice constant, band gap and spin-orbit split-off parameter. The calculated values of optimized lattice constant and direct band gap are in satisfactory agreement with other published theoretical and experimental findings. By including spin-orbit (SO) coupling, conduction band and valence bands were studied under parabolicity to calculate effective masses. The calculated values of effective masses and spin-orbit split-off parameter are in satisfactory agreement with most recent findings. This work will be useful for more computational studies related to semiconductor spintronic devices.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
$I$-Cohen Macaulay modules
Authors:
Waqas Mahmood,
Maria Azam
Abstract:
A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure of this class of modules. It is discovered that $I$-Cohen Macaulay modules enjoy many interesting properties which are analogous to those of Cohen Macaulay modul…
▽ More
A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure of this class of modules. It is discovered that $I$-Cohen Macaulay modules enjoy many interesting properties which are analogous to those of Cohen Macaulay modules. Also, various characterizations of $I$-Cohen Macaulay modules are presented here.
△ Less
Submitted 31 May, 2019;
originally announced June 2019.
-
Roughness in quotient groups
Authors:
Waqas Mahmood
Abstract:
The theory of rough sets was firstly introduced by Pawlak (see \cite{p}). Many Mathematician has been studied the relations between rough sets and algebraic systems such as groups, rings and modules. In this paper we will introduce the lower and upper approximations in a quotient group. We will discuss several properties of the lower and upper approximations. Moreover under some additional assumpt…
▽ More
The theory of rough sets was firstly introduced by Pawlak (see \cite{p}). Many Mathematician has been studied the relations between rough sets and algebraic systems such as groups, rings and modules. In this paper we will introduce the lower and upper approximations in a quotient group. We will discuss several properties of the lower and upper approximations. Moreover under some additional assumptions we are able to show that the lower approximation is a normal subgroup of the quotient group but this property fails for the upper approximation. At the end we will develop several homomorphisms between lower approximations.
△ Less
Submitted 12 January, 2016;
originally announced February 2016.
-
On generalized completion homology modules
Authors:
Waqas Mahmood
Abstract:
Let $I$ be an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be any $R$-modules. We define the generalized completion homology modules $L_iΛ^I (N,M)$, for $i\in \mathbb{Z}$, as the homologies of the complex $\lim\limits_{\longleftarrow}(N/I^sN\otimes_R F_{\cdot}^R)$. Here $F_{\cdot}^R$ denote a flat resolution of $M$. In this article we will prove the vanishing and non-vanishing prope…
▽ More
Let $I$ be an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be any $R$-modules. We define the generalized completion homology modules $L_iΛ^I (N,M)$, for $i\in \mathbb{Z}$, as the homologies of the complex $\lim\limits_{\longleftarrow}(N/I^sN\otimes_R F_{\cdot}^R)$. Here $F_{\cdot}^R$ denote a flat resolution of $M$. In this article we will prove the vanishing and non-vanishing properties of $L_iΛ^I (N,M)$. We denote $H^{i}_{I}(N,M)$ (resp. $U^I_i(N,M)$) by the generalized local cohomology modules (resp. the generalized local homology modules). As a technical tool we will construct several natural homomorphisms of $L_iΛ^I (N,M)$, $H^{i}_{I}(N,M)$ and $U^I_i(N,M)$. We will investigate when these natural homomorphisms are isomorphisms. Moreover if $M$ is Artinian and $N$ is finitely generated then it is proven that $L_iΛ^I (N,M)$ is isomorphic to $U^I_i(N,M)$ for each $i\in \mathbb{Z}$. The similar result is obtained for $H^i_{I}(N,M)$. Furthermore if both $M$ and $N$ are finitely generated with $c=\grade(I,M)$. Then we are able to prove several necessary and sufficient conditions such that $H^i_{I}(M)=0$ for all $i\neq c.$ Here $H^i_{I}(M)$ denote the ordinary local cohomology module.
△ Less
Submitted 18 January, 2017; v1 submitted 4 February, 2015;
originally announced February 2015.
-
The Double Jones Birefringence in Magneto-electric Medium
Authors:
Waqas Mahmood,
Qing Zhao
Abstract:
In this paper, the Maxwell's equations for the tensorial magneto-electric (ME) medium have been solved which in fact is the extension of anisotropic nonmagnetic medium. All of the dielectric permittivity, magnetic permeability and the ME tensors are considered. The transverse polarization is shown explicitly and the propagation of electromagnetic wave in the ME medium is found to have the Double J…
▽ More
In this paper, the Maxwell's equations for the tensorial magneto-electric (ME) medium have been solved which in fact is the extension of anisotropic nonmagnetic medium. All of the dielectric permittivity, magnetic permeability and the ME tensors are considered. The transverse polarization is shown explicitly and the propagation of electromagnetic wave in the ME medium is found to have the Double Jones Birefringence. We also find the condition of D'yakonov surface wave for magneto-isotropic but with ME anisotropic medium. Especially when the incident angle is $\fracπ{4}$, it may be measurable in principle.
△ Less
Submitted 5 September, 2015; v1 submitted 10 December, 2014;
originally announced December 2014.
-
Cohomologically complete intersections with vanishing of Betti numbers
Authors:
Waqas Mahmood
Abstract:
Let $I$ be ideal of an $n$-dimensional local Gorenstein ring $R$. In this paper we will describe several necessary and sufficient conditions such that the ideal $I$ becomes cohomologically complete intersections. In fact, as a technical tool, it will be shown that the vanishing $H^i_{I}(R)= 0$ for all $i\neq c= \grade (I)$ is equivalent to the vanishing of the Betti numbers of $H^c_{I}(R)$. This g…
▽ More
Let $I$ be ideal of an $n$-dimensional local Gorenstein ring $R$. In this paper we will describe several necessary and sufficient conditions such that the ideal $I$ becomes cohomologically complete intersections. In fact, as a technical tool, it will be shown that the vanishing $H^i_{I}(R)= 0$ for all $i\neq c= \grade (I)$ is equivalent to the vanishing of the Betti numbers of $H^c_{I}(R)$. This gives a new characterization to check the cohomologically complete intersections property with the homological properties of the vanishing of Tor modules of $H^c_{I}(R)$.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
On natural homomorphisms of local cohomology modules
Authors:
Waqas Mahmood
Abstract:
Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several natural homomorphisms of local cohomology modules. The main purpose of this article is to investigate that the natural homomorphisms Tor…
▽ More
Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several natural homomorphisms of local cohomology modules. The main purpose of this article is to investigate that the natural homomorphisms Tor$^R_c(k,H^c_I(M))\to k\otimes_R M$ and Ext$^{d}_R(k,H^c_I(M))\to {\rm Ext}^t_R(k, M)$ are non-zero where $d:=t-c$. In fact for a Cohen-Macaulay module $M$ we will show that the homomorphism Ext$^d_R(k,H^c_I(M))\to {\rm Ext}^t_R(k, M)$ is injective (resp. surjective) if and only if the homomorphism $H^{d}_{\mathfrak{m}}(H^c_{I}(M))\to H^t_{\mathfrak{m}}(M)$ is injective (resp. surjective) under the additional assumption of vanishing of Ext modules. The similar results are obtained for the homomorphism Tor$^R_c(k,H^c_I(M))\to k\otimes_R M$. Moreover we will construct the natural homomorphism ${\rm Tor}^R_c(k, H^c_I(M))\to {\rm Tor}^R_c(k, H^c_J(M))$ for the ideals $J\subseteq I$ with $c = {\rm grade}(I,M)= {\rm grade}(J,M)$. There are several sufficient conditions on $I$ and $J$ to prove this homomorphism is an isomorphism.
△ Less
Submitted 29 June, 2014;
originally announced June 2014.
-
A Note on Endomorphisms of Local Cohomology Modules
Authors:
Waqas Mahmood,
Zohaib Zahid
Abstract:
Let $I$ denote an ideal of a local ring $(R,\mathfrak{m})$ of dimension $n$. Let $M$ denote a finitely generated $R$-module. We study the endomorphism ring of the local cohomology module $H^c_I(M), c = \grade (I,M)$. In particular there is a natural homomorphism $\Hom_{\hat{R}^I}(\hat{M}^I, \hat{M}^I)\to \Hom_{R}(H^c_{I}(M),H^c_{I}(M))$, where $\hat{\cdot}^I$ denotes the $I$-adic completion functo…
▽ More
Let $I$ denote an ideal of a local ring $(R,\mathfrak{m})$ of dimension $n$. Let $M$ denote a finitely generated $R$-module. We study the endomorphism ring of the local cohomology module $H^c_I(M), c = \grade (I,M)$. In particular there is a natural homomorphism $\Hom_{\hat{R}^I}(\hat{M}^I, \hat{M}^I)\to \Hom_{R}(H^c_{I}(M),H^c_{I}(M))$, where $\hat{\cdot}^I$ denotes the $I$-adic completion functor. We prove sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J \subset I$ with the property $\grade(I,M) = \grade(J,M)$. Our results extends constructions known in the case of $M = R$ (see e.g. \cite{h1}, \cite{p7}, \cite{p1}).
△ Less
Submitted 9 May, 2014; v1 submitted 6 May, 2014;
originally announced May 2014.
-
On Cohomologically Complete Intersections in Cohen-Macaulay Rings
Authors:
Waqas Mahmood
Abstract:
An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of…
▽ More
An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view. As a main result it is shown that the vanishing H^iI_(M) = 0 for all i \neq c is completely encoded in homological properties of H^cI_(M). These results extend those of Hellus and Schenzel (see [13, Theorem 0.1]) shown in the case of a local Gorenstein ring. In particular we get a characterization of cohomologically complete intersections in a Cohen-Macaulay ring in terms of the canonical module.
△ Less
Submitted 31 December, 2013; v1 submitted 25 December, 2013;
originally announced December 2013.
-
A Few Comments On Matlis Duality
Authors:
Waqas Mahmood
Abstract:
For a Noetherian local ring $(R,{\mathfrak m})$ with $\mathfrak p\in \Spec(R)$ we denote $E_R(R/\mathfrak p)$ by the $R$-injective hull of $R/\mathfrak p$. We will show that it has an $\hat{R}^\mathfrak p$-module structure and there is an isomorphism $E_R(R/\mathfrak p)\cong E_{\hat{R}^\mathfrak p}(\hat{R}^\mathfrak p/\mathfrak p\hat{R}^\mathfrak p)$ where $\hat{R}^\mathfrak p$ stands for the…
▽ More
For a Noetherian local ring $(R,{\mathfrak m})$ with $\mathfrak p\in \Spec(R)$ we denote $E_R(R/\mathfrak p)$ by the $R$-injective hull of $R/\mathfrak p$. We will show that it has an $\hat{R}^\mathfrak p$-module structure and there is an isomorphism $E_R(R/\mathfrak p)\cong E_{\hat{R}^\mathfrak p}(\hat{R}^\mathfrak p/\mathfrak p\hat{R}^\mathfrak p)$ where $\hat{R}^\mathfrak p$ stands for the $\mathfrak p$-adic completion of $R$. Moreover for a complete Cohen-Macaulay ring $R$ the module $D(E_R(R/\mathfrak p))$ is isomorphic to $\hat{R}_\mathfrak{p}$ provided that $\dim(R/\mathfrak p)=1$ and $D(\cdot)$ denotes the Matlis dual functor $\Hom_R(\cdot, E_R(R/\mathfrak m))$. Here $\hat{R}_\mathfrak{p}$ denotes the completion of ${R_\mathfrak p}$ with respect to the maximal ideal $\mathfrak pR_\mathfrak p$. These results extend those of Matlis (see \cite{m}) shown in the case of the maximal ideal ${\mathfrak m}$.
△ Less
Submitted 6 November, 2013;
originally announced November 2013.
-
On Invariants and Endomorphism Rings of Local Cohomology Modules
Authors:
Waqas Mahmood,
Peter Schenzel
Abstract:
Let $(R,\mathfrak{m})$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ with $\grade I = c$ we define new numerical invariants $τ_{i,j}(I)$ as the socle dimensions of $H^i_{\mathfrak{m}}(H^{n-j}_I(R))$. In case of a regular local ring containing a field these numbers coincide with the Lyubeznik numbers $λ_{i,j}(R/I)$. We use $τ_{d,d}(I), d = \dim R/I,$ to characterize the surj…
▽ More
Let $(R,\mathfrak{m})$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ with $\grade I = c$ we define new numerical invariants $τ_{i,j}(I)$ as the socle dimensions of $H^i_{\mathfrak{m}}(H^{n-j}_I(R))$. In case of a regular local ring containing a field these numbers coincide with the Lyubeznik numbers $λ_{i,j}(R/I)$. We use $τ_{d,d}(I), d = \dim R/I,$ to characterize the surjectivity of the natural homomorphism $f : \hat{R} \to \Hom_{\hat{R}}(H^c_{I\hat{R}}(\hat{R}),H^c_{I\hat{R}}(\hat{R}))$. As a technical tool we study several natural homomorphisms. Moreover we prove a few results on $τ_{i,j}(I)$.
△ Less
Submitted 7 October, 2013; v1 submitted 3 October, 2013;
originally announced October 2013.
-
On Endomorphism Rings of Local Cohomology Modules
Authors:
Waqas Mahmood
Abstract:
Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c where KR (resp. HiI(.)) denote the canonical module (resp. i-th local cohomology with respect to the ideal I) of R. The same result is true for the Matlis dual…
▽ More
Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c where KR (resp. HiI(.)) denote the canonical module (resp. i-th local cohomology with respect to the ideal I) of R. The same result is true for the Matlis dual of HcI(KR).
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Experimental determination of heat capacities and their correlation with quantum predictions
Authors:
Waqas Mahmood,
Muhammad Sabieh Anwar,
Wasif Zia
Abstract:
This article demonstrates an undergraduate experiment for the determination of specific heat capacities of various solids based on a calorimetric approach, where the solid vaporizes a measurable mass of liquid nitrogen. We demonstrate our technique for the metals copper and aluminum, the semi-metal graphite and also present the data in relation with Einstein's model of independent harmonic oscilla…
▽ More
This article demonstrates an undergraduate experiment for the determination of specific heat capacities of various solids based on a calorimetric approach, where the solid vaporizes a measurable mass of liquid nitrogen. We demonstrate our technique for the metals copper and aluminum, the semi-metal graphite and also present the data in relation with Einstein's model of independent harmonic oscillators and the more accurate Debye model based on vibrational modes of a continuous crystal. Furthermore, we elucidate an interesting material property, the Verwey transition in magnetite occurring around 120-140 K. We also demonstrate that the use of computer based data acquisition and subsequent statistical averaging helps reduce measurement uncertainties.
△ Less
Submitted 12 June, 2011;
originally announced June 2011.