Sharif Digital Repository

Regression testing activities greatly reduce the risk of faulty software release. However, the size of the test suites grows throughout the development process, resulting in time-consuming execution of the test suite and delayed feedback to the software development team. This has urged the need for approaches such as test case prioritization (TCP) and test-suite reduction to reach better results in case of limited resources. In this regard, proposing approaches that use auxiliary sources of data such as bug history can be interesting. We aim to propose an approach for TCP that takes into account test case coverage data, bug history, and test case diversification. To evaluate this approach we... 

A typical scientist has no responsibility other than to explain how a natural event occurred. However, when a philosopher asks about the conditions under which a scientist’s explanation is true, he is, in fact, raising an ultimate question, the concept which Karl Popper used for the first time. Answering this question requires that no elements are neglected in the explanation, and no significant factors in the explanation are overlooked. In other words, in explaining a phenomenon, at any level of its explanation, there should be no remainder. These requirements can be achieved through the full explanation. In the present article, by drawing on concepts such as theory-ladenness of... 

To differentiate between the laws of nature and accidental generalizations, we must adopt a view of necessity that is capable of being realized in relationships existing among natural objects. In neo-Sadraian Islamic philosophy, metaphysical necessity is accepted as part of the cause-effect relationship. This paper compares the neo-Sadraian interpretation of necessity and necessitarian theories about the laws of nature, particularly essentialism and universal theory. By resorting to specific forms al-shûrat al-naw’iyyah, the origin of the essential properties of natural objects, I argue that neo-Sadraians have proposed a perspective on metaphysical necessity that is epistemologically a... 

A typical scientist has no responsibility other than to explain how a natural event occurred. However, when a philosopher asks about the conditions under which a scientist’s explanation is true, he is, in fact, raising an ultimate question, the concept which Karl Popper used for the first time. Answering this question requires that no elements are neglected in the explanation, and no significant factors in the explanation are overlooked. In other words, in explaining a phenomenon, at any level of its explanation, there should be no remainder. These requirements can be achieved through the full explanation. In the present article, by drawing on concepts such as theory-ladenness of... 

To differentiate between the laws of nature and accidental generalizations, we must adopt a view of necessity that is capable of being realized in relationships existing among natural objects. In neo-Sadraian Islamic philosophy, metaphysical necessity is accepted as part of the cause-effect relationship. This paper compares the neo-Sadraian interpretation of necessity and necessitarian theories about the laws of nature, particularly essentialism and universal theory. By resorting to specific forms al-shûrat al-naw’iyyah, the origin of the essential properties of natural objects, I argue that neo-Sadraians have proposed a perspective on metaphysical necessity that is epistemologically a... 

Reformed epistemology, based on the reliability of the functions of cognitive faculties, holds that one can believe in God directly without argument or evidence. Alvin Plantinga, one of the proponents of this view, replaces justification with warrant in the classical definition of knowledge and considers true belief, which has a warrant as knowledge. On this basis, he considers it reasonable to believe in the existence of God because it has a warrant and arises from our healthy cognitive faculties without the need for an independent argument. Some defenders of the cognitive science of religion also seek to provide evidence from cognitive science to explain religious beliefs in such a way as... 

Some proponents of new atheism, including Dawkins, claim that religion, especially Islam, is the cause of the war because it encourages divisiveness and labeling. In this article, in the first step, I will show that Islam is not the cause of war, but rather it is a misconception of Islam that is the cause of divisiveness and eventually war. Then, I will demonstrate that the COVID-19 pandemic and its impact on societies and religious behaviors somehow could, and still can, modify this misconception and blur divisions. This effect occurs in two ways: firstly, a pandemic creates common human problems for all people worldwide, making people more aware of their common points that Islam refers to... 

In the 21st century, the world population is growing at a spiraling pace. Much of this growth is occurring in developing countries, where access to food, sanitary water, education, and health is severely limited. The ever-increasing urbanization highlighted the need for sustainable development based on human-environment interaction. The excessive and unplanned expansion of cities has resulted in numerous environmental predicaments due to clearly emphasized economic issues at the expense of social and environmental concerns. The most significant features of megacities are indicated in this paper and the environmental, social, physical, and economic criteria are addressed in order to attain... 

Martensitic stainless steel (MSS) welds are notorious for their susceptibility to low-energy failure due to the formation of brittle martensitic structure in the fusion zone. The unique approach to enhance the mechanical properties of MSS resistance spot welds during both the tensile-shear and the cross-tension loading is to improve the fracture toughness of the fusion zone. In the present study, the effect of double-pulse welding on the microstructure-mechanical properties relationship of the AISI420 MSS resistance spot welds is investigated. Depending on the second pulse current level, various metallurgical phenomena was observed including (i) rapid tempering of martensite in the fusion... 

Martensitic stainless steel (MSS) resistance spot welds are prone to quasi-cleavage interfacial failure with very low energy absorption capability due to formation of hard and brittle carbon and chromium rich martensite in the fusion zone (FZ). In this work, a new pathway is proposed to enhance strength/toughness of the MSS resistance spot welds based on modification of the FZ composition/microstructure via introducing a nickel interlayer. This altered the FZ microstructure from dual phase microstructure of martensite and δ-ferrite to austenitic microstructure with finely dispersed ultra-fine chromium rich carbides. Formation of a tough predominately austenitic microstructure in the FZ... 

We consider the nonlinear Euler differential equation t2 x″ + g (x) = 0. Here g (x) satisfies x g (x) > 0 for x ≠ 0, but is not assumed to be sublinear or superlinear. We present implicit necessary and sufficient condition for all nontrivial solutions of this system to be oscillatory or nonoscillatory. Also we prove that solutions of this system are all oscillatory or all nonoscillatory and cannot be both. We derive explicit conditions and improve the results presented in the previous literature. We extend our results to the extended equation t2 x″ + a (t) g (x) = 0. © 2006 Elsevier Inc. All rights reserved