Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailHow effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults
Kintis, Marinos UL; Papadakis, Mike UL; Papadopoulos, Andreas et al

in Empirical Software Engineering (in press)

Mutation analysis is a well-studied, fault-based testing technique. It requires testers to design tests based on a set of artificial defects. The defects help in performing testing activities by measuring ... [more ▼]

Mutation analysis is a well-studied, fault-based testing technique. It requires testers to design tests based on a set of artificial defects. The defects help in performing testing activities by measuring the ratio that is revealed by the candidate tests. Unfortunately, applying mutation to real-world programs requires automated tools due to the vast number of defects involved. In such a case, the effectiveness of the method strongly depends on the peculiarities of the employed tools. Thus, when using automated tools, their implementation inadequacies can lead to inaccurate results. To deal with this issue, we cross-evaluate four mutation testing tools for Java, namely PIT, muJava, Major and the research version of PIT, PITRV, with respect to their fault-detection capabilities. We investigate the strengths of the tools based on: a) a set of real faults and b) manual analysis of the mutants they introduce. We find that there are large differences between the tools’ effectiveness and demonstrate that no tool is able to subsume the others. We also provide results indicating the application cost of the method. Overall, we find that PITRV achieves the best results. In particular, PITRV outperforms the other tools by finding 6% more faults than the other tools combined. [less ▲]

Detailed reference viewed: 35 (3 UL)
Full Text
Peer Reviewed
See detail“Luxemburger Standarddeutsch”. On the future of the German language in Luxembourg
Sieburg, Heinz UL

in Muhr, Rudolf; Meisnitzer, Benjamin (Eds.) Pluricentric Languages and Non-Dominant Varieties Worldwide: New pluricentric languages-old problems (in press)

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailIslamic banking development and access to credit
Leon, Florian UL; Weill, Laurent

in Pacific-Basin Finance Journal (in press)

The recent expansion of Islamic banks raises questions on its economic implications. The aim of this paper is to investigate the impact of Islamic banking development on access to credit. We combine data ... [more ▼]

The recent expansion of Islamic banks raises questions on its economic implications. The aim of this paper is to investigate the impact of Islamic banking development on access to credit. We combine data from a unique hand-collected database that covers Islamic banks with firm-level data covering developing and emerging countries over the period of 2006 to 2009. We find that Islamic banking development has overall no impact on credit constraints, while banking development and conventional banking development alleviate obstacles to financing. However Islamic banking development exerts a positive impact on access to credit when conventional banking development is low. Hence we support the view that Islamic banking does not overall alleviate obstacles to financing, but it can act as substitute to conventional banking. [less ▲]

Detailed reference viewed: 72 (5 UL)
Full Text
Peer Reviewed
See detailInequality in old age cognition across the world
Olivera, Javier; Andreoli, Francesco; Leist, Anja UL et al

in Economics and Human Biology (in press)

Although cohort and country differences in average cognitive levels are well established, identifying the degree and determinants of inequalities in old age cognitive functioning could guide public health ... [more ▼]

Although cohort and country differences in average cognitive levels are well established, identifying the degree and determinants of inequalities in old age cognitive functioning could guide public health and policymaking efforts. We use all publicly available and representative old age surveys with comparable information to assess inequalities of cognitive functioning in six distinctive age groups of 29 countries. We document that cognitive inequalities in old age are largely determined by earlier educational inequalities as well as gender differential survival rates. For example, a one percentage point increase in the Gini index of past education is associated with an increase of 0.45 percentage points in the Gini index of delayed recall and 0.23 percentage points in the Gini of immediate recall. Results are robust to a variety of alternative explanations and persist even after controlling for gender-related biases in survival rates. Furthermore, we find evidence that unequal opportunities for education -captured by differences in parental background and gender- also have significant effects on inequality of old age cognition. [less ▲]

Detailed reference viewed: 38 (8 UL)
Full Text
Peer Reviewed
See detailFurther exploration of the SUPPS-P Impulsive Behavior Scale’s factor structure: Evidence from a large Hungarian sample
Zsila, Ágnes; Bőthe, Beáta; Demetrovics, Zsolt et al

in Current Psychology (in press)

Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which ... [more ▼]

Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which assesses five distinct impulsivity dimensions: positive urgency, negative urgency, lack of perseverance, lack of premeditation, and sensation seeking. The short, 20-item version of the UPPS-P (SUPPS-P; Billieux et al. 2012) has been developed and adapted into several languages, including English, French, Italian, Spanish, and Arabic. The aim of the present study was to test four theoretical models of the SUPPS-P in a large sample of Hungarian adults. Methods: A total of 15,703 participants (64.76% male; Mage = 33.42 years, SD = 11.06) completed the SUPPS-P using an online questionnaire. Results: Confirmatory factor analyses corroborated the first-order five-factor model of impulsivity and a hierarchical model representing three higher-order constructs (urgency, lack of conscientiousness, sensation seeking), whereas the one-factor and three-factor model were not supported. The factor structure of the SUPPS-P preserved the original, theory-driven structure of the UPPS-P model and this instrument demonstrated good internal consistency. Hypersexual behavior consequences were positively associated with most SUPPS-P components, thus criterion validity was also supported. Conclusion: The SUPPS-P had strong psychometric properties that reflected the theoretical structure of the original UPPS-P model, thus it constitutes a theoretically grounded and time saving multidimensional instrument for assessing impulsivity. [less ▲]

Detailed reference viewed: 46 (0 UL)
Full Text
Peer Reviewed
See detailAn Investigation of Compression Techniques to Speed up Mutation Testing
Zhu; Panichella, Annibale UL; Zaidman, Andy

in 11th IEEE Conference on Software Testing, Validation and Verification, 2018 (in press)

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of ... [more ▼]

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the efficiency of strong mutation based on weak mutation information. Our investigation is centred around six mutation compression strategies that we have devised. More specifically, we adopt overlapped grouping and Formal Concept Analysis (FCA) to cluster mutants and test cases based on the reachability (code covergae) and necessity (weak mutation) conditions. Moreover, we leverage mutation knowledge (mutation locations and mutation operator types) during compression. To evaluate our method, we conducted a study on 20 open source Java projects using manually written tests. We also compare our method with pure random sampling and weak mutation. The overall results show that mutant compression techniques are a better choice than random sampling and weak mutation in practice: they can effectively speed up strong mutation 6.3 to 94.3 times with an accuracy of >90%. [less ▲]

Detailed reference viewed: 106 (15 UL)
Full Text
Peer Reviewed
See detailEnvironmental and sustainability education in the Benelux countries: Research, policy and practices at the intersection of education and societal transformation
Van Poeck, Katrien; König, Ariane UL; Wals, Arjen E.J.

in Environmental Education Research (in press), (Special Issue),

As an introductory article of a Special Issue on Environmental and Sustainability Education (ESE) in the Benelux region, this paper provides an overview of ESE research, policy and practice in Belgium ... [more ▼]

As an introductory article of a Special Issue on Environmental and Sustainability Education (ESE) in the Benelux region, this paper provides an overview of ESE research, policy and practice in Belgium, The Netherlands and Luxembourg. It discusses the different contributions in this collection with regard to how the central theme of this issue, the relation between education and societal transformation, is approached in each paper. The main characteristics of the ESE research fields in the Benelux are described in general terms, and placed within the context of how ESE policy and practice are organised in these countries. Next, different conceptualisations of the relation between educational and political spaces reflected in the collection are discussed and the varied contributions to this issue are positioned in relation to three distinguished traditions of approaching the place of democracy in ESE. The authors conclude with commenting on how this relates to different approaches to the research-policy-practice interface. [less ▲]

Detailed reference viewed: 113 (6 UL)
Full Text
Peer Reviewed
See detailConflicting temporalities of social and environmental change
Lockie, Stewart; Wong, Catherine UL

in Boström, M.; Davidson, D. (Eds.) Environment and Society: Concepts and Challenges. (in press)

This chapter explores how time and temporality – that is, the rhythms and tempos of social and environmental change – have been considered in social theory before going on to explore the conceptual ... [more ▼]

This chapter explores how time and temporality – that is, the rhythms and tempos of social and environmental change – have been considered in social theory before going on to explore the conceptual frameworks and practices through which policy-makers seek to influence temporal processes in the specific context of climate change policy. The chapter highlights conflict between the temporalities of climate change and the temporalities of politics, as well as conflict between the temporalities of competing political and decision-making processes. While policy-makers advocate strategies to depoliticize climate policy in response to these conflicts, the chapter argues this is neither possible nor desirable. Instead, it advocates more democratic and deliberative approaches to the challenge of synchronizing ever more visible ecological temporalities with the multiple temporalities of the social. [less ▲]

Detailed reference viewed: 14 (1 UL)
Full Text
Peer Reviewed
See detailEnvironmental and Sustainability Education (ESE) in the Benelux region
Van Poeck, Katrien; Wals, Arjen E.J.; König, Ariane UL

in Environmental Education Research (in press)

Detailed reference viewed: 15 (3 UL)
Full Text
Peer Reviewed
See detailSecurity of Distance−Bounding: A Survey
Gildas, Avoine; Muhammed, Ali Bingöl; Ioana, Boureanu et al

in ACM Computing Surveys (in press)

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e ... [more ▼]

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, which are vulnerable to distance-based frauds. This survey analyzes and compares in a unified manner many existing distance bounding protocols with respect to several key security and complexity features. [less ▲]

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailL’UNION EUROPEENNE ET LES ACCORDS DE LIBRE-ECHANGE NOUVELLE GENERATION QUELLE EFFICACITE D’ACTION D’UNE UNION A COMPETENCE LIMITEE ?
Neframi, Eleftheria UL

in Annuaire Français des Relations Internationales (in press)

New generation of free trade agreements (CETA, TTIP, agreements with Singapore, China, Vietnam, Japan i.e.) are the expression of the objective of making the European Union a global international actor ... [more ▼]

New generation of free trade agreements (CETA, TTIP, agreements with Singapore, China, Vietnam, Japan i.e.) are the expression of the objective of making the European Union a global international actor. The external action of the Union is however dependent on the principle of conferral and the division of competences with its Member States. It results from Opinion 2/15 of the Court of Justice that the EU competence to conclude the free trade agreement with Singapore is not exclusive, as long as provisions concerning non-direct investments and dispute settlement fall under the shared competence of the Union and its Member States. The limits of the Union’s external competence and the conclusion of a mixed agreement jeopardise the effectiveness of the Union’s external action. However, the objective of an efficient external action allows a novel interpretation of the scope of the Union’s competence in the field of common commercial policy, comprising sustainable development provisions, as well as of the conditions of exercise of shared external competences. [less ▲]

Detailed reference viewed: 20 (2 UL)
Full Text
See detailThe Dynamic of the EU Objectives in the Analysis of the External Competence
Neframi, Eleftheria UL

in Neframi, Eleftheria; Gatti, Mauro (Eds.) Constitutional Issues of EU External Relations Law (in press)

Detailed reference viewed: 24 (2 UL)
Peer Reviewed
See detailStatic load deflection experiment on a beam for damage detection using the Deformation Area Difference Method
Erdenebat, Dolgion UL; Waldmann, Danièle UL; Teferle, Felix Norman UL

Scientific Conference (in press)

A reliable and safety infrastructure for both transport and traffic is becoming increasingly important today. The condition assessment of bridges remains difficult and new methods must be found to provide ... [more ▼]

A reliable and safety infrastructure for both transport and traffic is becoming increasingly important today. The condition assessment of bridges remains difficult and new methods must be found to provide reliable information. A meaningful in-situ assessment of bridges requires very detailed investigations which cannot be guaranteed by commonly used methods. It is known that the structural response to external loading is influenced by local damages. However, the detection of local damage depends on many factors such as environmental effects (e.g. temperature), construction layer (e.g. asphalt) and accuracy of the structural response measurement. Within the paper, a new so-called Deformation Area Difference (DAD) Method is presented. The DAD method is based on a load deflection experiment and does not require a reference measurement of initial condition. Therefore, the DAD method can be applied on existing bridges. Moreover, the DAD method uses the most modern technologies such as high precision measurement techniques and attempts to combine digital photogrammetry with drone applications. The DAD method uses information given in the curvature course from a theoretical model of the structure and compares it to real measurements. The paper shows results from a laboratory load-deflection experiment with a steel beam which has been gradually damaged at distinct positions. The load size is chosen so that the maximum deflection does not exceed the serviceability limit state. With the data obtained by the laboratory experiment, the damage degree, which can still be detected by the DAD method, is described. Furthermore, the influence of measurement accuracy on damage detection is discussed. [less ▲]

Detailed reference viewed: 28 (10 UL)
See detailDiachrone Interkulturalität
Wiegmann, Eva UL

Book published by Winter (in press)

Detailed reference viewed: 37 (1 UL)
Full Text
Peer Reviewed
See detailEnvironmental and Sustainability Education in the Benelux Region
Van Poeck, Katrien; Wals, Arjen E.J.; König, Ariane UL

in Environmental Education Research (in press), (Special Issue),

Detailed reference viewed: 19 (2 UL)
Peer Reviewed
See detailEinführung. Zu einer diachronen Interkulturalitätsforschung
Wiegmann, Eva UL

in Wiegmann, Eva (Ed.) Diachrone Interkulturalität (in press)

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailInternet gaming disorder should qualify as a mental disorder
King, Daniel L; Delfabbro, Paul H; Potenza, Marc N et al

in Australian and New Zealand Journal of Psychiatry (in press)

Detailed reference viewed: 19 (1 UL)