Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailMany Independent Objective (MIO) Algorithm for Test Suite Generation
Arcuri, Andrea UL

in Symposium on Search-Based Software Engineering (SSBSE) (in press)

Automatically generating test suites is intrinsically a multi- objective problem, as any of the testing targets (e.g, statements to exe- cute or mutants to kill) is an objective on its own. Test suite ... [more ▼]

Automatically generating test suites is intrinsically a multi- objective problem, as any of the testing targets (e.g, statements to exe- cute or mutants to kill) is an objective on its own. Test suite generation has peculiarities that are quite di erent from other more regular optimi- sation problems. For example, given an existing test suite, one can add more tests to cover the remaining objectives. One would like the smallest number of small tests to cover as many objectives as possible, but that is a secondary goal compared to covering those targets in the rst place. Furthermore, the amount of objectives in software testing can quickly become unmanageable, in the order of (tens/hundreds of) thousands, es- pecially for system testing of industrial size systems. Traditional multi- objective optimisation algorithms can already start to struggle with just four or ve objectives to optimize. To overcome these issues, di erent techniques have been proposed, like for example the Whole Test Suite (WTS) approach and the Many-Objective Sorting Algorithm (MOSA). However, those techniques might not scale well to very large numbers of objectives and limited search budgets (a typical case in system test- ing). In this paper, we propose a novel algorithm, called Many Indepen- dent Objective (MIO) algorithm. This algorithm is designed and tailored based on the speci c properties of test suite generation. An empirical study, on a set of arti cial and actual software, shows that the MIO al- gorithm can achieve higher coverage compared to WTS and MOSA, as it can better exploit the peculiarities of test suite generation. [less ▲]

Detailed reference viewed: 13 (3 UL)
Full Text
Peer Reviewed
See detailAn Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation
Campos, Jose; Ge, Yan; Fraser, Gordon et al

in Symposium on Search-Based Software Engineering (SSBSE) (in press)

Evolutionary algorithms have been shown to be effective at generating unit test suites optimised for code coverage. While many aspects of these algorithms have been evaluated in detail (e.g., test length ... [more ▼]

Evolutionary algorithms have been shown to be effective at generating unit test suites optimised for code coverage. While many aspects of these algorithms have been evaluated in detail (e.g., test length and different kinds of techniques aimed at improving performance, like seeding), the influence of the specific algorithms has to date seen less attention in the literature. As it is theoretically impossible to design an algorithm that is best on all possible problems, a common approach in software engineering problems is to first try a Genetic Algorithm, and only afterwards try to refine it or compare it with other algorithms to see if any of them is more suited for the addressed problem. This is particularly important in test generation, since recent work suggests that random search may in practice be equally effective, whereas the reformulation as a many-objective problem seems to be more effective. To shed light on the influence of the search algorithms, we empirically evaluate six different algorithms on a selection of non-trivial open source classes. Our study shows that the use of a test archive makes evolutionary algorithms clearly better than random testing, and it confirms that the many-objective search is the most effective. [less ▲]

Detailed reference viewed: 15 (3 UL)
Full Text
Peer Reviewed
See detailRESTful API Automated Test Case Generation
Arcuri, Andrea UL

in IEEE International Conference on Software Quality, Reliability & Security (QRS) (in press)

Nowadays, web services play a major role in the development of enterprise applications. Many such applications are now developed using a service-oriented architecture (SOA), where microservices is one of ... [more ▼]

Nowadays, web services play a major role in the development of enterprise applications. Many such applications are now developed using a service-oriented architecture (SOA), where microservices is one of its most popular kind. A RESTful web service will provide data via an API over the network using HTTP, possibly interacting with databases and other web services. Testing a RESTful API poses challenges, as inputs/outputs are sequences of HTTP requests/responses to a remote server. Many approaches in the literature do black-box testing, as the tested API is a remote service whose code is not available. In this paper, we consider testing from the point of view of the developers, which do have full access to the code that they are writing. Therefore, we propose a fully automated white-box testing approach, where test cases are automatically generated using an evolutionary algorithm. Tests are rewarded based on code coverage and fault finding metrics. We implemented our technique in a tool called EVOMASTER, which is open-source. Experiments on two open-source, yet non-trivial RESTful services and an industrial one, do show that our novel technique did automatically find 38 real bugs in those applications. However, obtained code coverage is lower than the one achieved by the manually written test suites already existing in those services. Research directions on how to further improve such approach are therefore discussed. [less ▲]

Detailed reference viewed: 14 (1 UL)
Full Text
Peer Reviewed
See detailArea exploration with a swarm of UAVs combining deterministic Chaotic Ant Colony Mobility with position MPC
Rosalie, Martin UL; Dentler, Jan Eric UL; Danoy, Grégoire UL et al

in 2017 International Conference on Unmanned Aircraft Systems (ICUAS) (in press)

The recent advances in Unmanned Aerial Vehicles (UAVs) technology permit to develop new usages for them. One of the current challenges is to operate UAVs as an autonomous swarm. In this domain we already ... [more ▼]

The recent advances in Unmanned Aerial Vehicles (UAVs) technology permit to develop new usages for them. One of the current challenges is to operate UAVs as an autonomous swarm. In this domain we already proposed a new mobility model using Ant Colony Algorithms combined with chaotic dynamics (CACOC) to enhance the coverage of an area by a swarm of UAVs. In this paper we propose to consider this mobility model as waypoints for real UAVs. A control model of the UAVs is deployed to test the efficiency of the coverage of an area by the swarm. We have tested our approach in a realistic robotics simulator (V-Rep) which is connected with ROS. We compare the performance in terms of coverage using several metrics to ensure that this mobility model is efficient for real UAVs. [less ▲]

Detailed reference viewed: 12 (1 UL)
Full Text
Peer Reviewed
See detailAbsence of regulator of G-protein signaling 4 does not protect against dopamine neuron dysfunction and injury in the mouse 6-hydroxydopamine lesion model of Parkinson's disease
Ashrafi, Amer UL; Garcia, Pierre UL; Kollmus, Heike et al

in Neurobiology of Aging (in press)

Regulator of G-Protein Signaling 4 (RGS4), a member of the RGS family of proteins that inactivate G-proteins, has gained interest as a potential drug target for neurological disorders, such as epilepsy ... [more ▼]

Regulator of G-Protein Signaling 4 (RGS4), a member of the RGS family of proteins that inactivate G-proteins, has gained interest as a potential drug target for neurological disorders, such as epilepsy and Parkinson’s disease (PD). In the case of PD, the main current option for alleviating motor symptoms are dopamine replacement therapies, which have limitations because of side effects, and reduced effectiveness over the long term. Research on new non-dopaminergic PD drug targets has indicated that inhibition of RGS4 could be an effective adjuvant treatment option. The effectiveness of RGS4 inhibition for an array of PD-linked functional and structural neuroprotection endpoints has not yet been demonstrated. Here, we use the 6-Hydroxydopamine (6-OHDA) lesioning model of the nigrostriatal pathway in mice to address this question. We observe, using a battery of behavioral and pathological measures, that mice deficient for RGS4 are not protected from 6-OHDA induced injury, and show enhanced susceptibility in some measures of motor function. Our results suggest that inhibition of RGS4 as a non-dopaminergic target for PD should be approached with caution. [less ▲]

Detailed reference viewed: 21 (3 UL)
Full Text
Peer Reviewed
See detailA multifactorial and integrative approach to impulsivity in neuropsychology: Insights from the UPPS model of impulsivity
Rochat, Lucien; Billieux, Joël UL; Gagnon, Jean et al

in Journal of Clinical and Experimental Neuropsychology (in press)

Risky and excessive behaviors, such as aggressive and compulsive behaviors, are frequently described in patients with brain damage and have dramatic psychosocial consequences. Although there is strong ... [more ▼]

Risky and excessive behaviors, such as aggressive and compulsive behaviors, are frequently described in patients with brain damage and have dramatic psychosocial consequences. Although there is strong evidence that impulsivity constitutes a key factor at play in these behaviors, the literature about impulsivity in neuropsychology is to date scarce. In addition, examining and understanding these problematic behaviors requires the assumption that impulsivity is a multidimensional construct. Consequently, this article aims at shedding light on frequent risky and excessive behaviors in patients with brain damage by focusing on a unified, comprehensive, and well-validated model, namely, the UPPS model of impulsivity (Whiteside & Lynam, 2001). This model considers impulsivity as a multidimensional construct that includes four facets: urgency, (lack of) premeditation, (lack of) perseverance, and sensation seeking. Furthermore, we discuss the psychological mechanisms underlying the dimensions of impulsivity, as well as the laboratory tasks designed to assess each mechanism and their neural bases. We then present a scale specifically designed to assess these four dimensions of impulsivity in patients with brain damage and examine the data regarding this multidimensional approach to impulsivity in neuropsychology. This review supports the need to adopt a multifactorial and integrative approach toward impulsive behaviors, and the model presented provides a valuable rationale to disentangle the nature of brain systems and mechanisms underlying impulsive behaviors in patients with brain damage. It may also foster further relevant research in the field of impulsivity and improve assessment and rehabilitation of impulsive behaviors in clinical settings. [less ▲]

Detailed reference viewed: 13 (1 UL)
Full Text
Peer Reviewed
See detail(Re)shaping Educational Research through ‘Programification’: Institutional Expansion, Change, and Translation in Norway
Zapp, Mike UL; Helgetun, Jo B.; Powell, Justin J W UL

in European Journal of Education (in press), 52

Educational research in Norway has experienced unprecedented structural expansion as well as cognitive shifts over the past two decades, especially due to increased state investments and the strategic use ... [more ▼]

Educational research in Norway has experienced unprecedented structural expansion as well as cognitive shifts over the past two decades, especially due to increased state investments and the strategic use of extensive and multi-year thematic programs to fund research projects. Applying a neo-institutionalist framework, we examine institutionalization dynamics in cultural-cognitive, normative, and regulative dimensions over the past two decades using interviews, research program calls, policy documents, and funding data. In the cultural-cognitive dimension, we find references to the knowledge society, the importance of evidence in policy-making, and ideas of quality, excellence, and relevance. In the normative dimension, we find the introduction of new professional and methodological standards, reflecting broader global patterns of academic and epistemic drift. In the regulative dimension, the strengthened role of both government and the Research Council of Norway is manifest in substantial growth in both funding and large-scale, long-term planning, including thematic choices—evidence of ‘programification’. The importance of external models has grown in an era of internationalization, yet translation occurs at every level of governance of educational research. This results in a specific Norwegian research model, guided by a mode of governance of programs, that maintains social values traditionally strong in Nordic societies. [less ▲]

Detailed reference viewed: 26 (8 UL)
Full Text
Peer Reviewed
See detailSelf-reported dependence on mobile phones in young adults: A European cross-cultural empirical survey.
Lopez-Fernandez, Olatz; Kuss, Daria J.; Romo, Lucia et al

in Journal of behavioral addictions (in press)

Background and aims Despite many positive benefits, mobile phone use can be associated with harmful and detrimental behaviors. The aim of this study was twofold: to examine (a) cross-cultural patterns of ... [more ▼]

Background and aims Despite many positive benefits, mobile phone use can be associated with harmful and detrimental behaviors. The aim of this study was twofold: to examine (a) cross-cultural patterns of perceived dependence on mobile phones in ten European countries, first, grouped in four different regions (North: Finland and UK; South: Spain and Italy; East: Hungary and Poland; West: France, Belgium, Germany, and Switzerland), and second by country, and (b) how socio-demographics, geographic differences, mobile phone usage patterns, and associated activities predicted this perceived dependence. Methods A sample of 2,775 young adults (aged 18-29 years) were recruited in different European Universities who participated in an online survey. Measures included socio-demographic variables, patterns of mobile phone use, and the dependence subscale of a short version of the Problematic Mobile Phone Use Questionnaire (PMPUQ; Billieux, Van der Linden, & Rochat, 2008). Results The young adults from the Northern and Southern regions reported the heaviest use of mobile phones, whereas perceived dependence was less prevalent in the Eastern region. However, the proportion of highly dependent mobile phone users was more elevated in Belgium, UK, and France. Regression analysis identified several risk factors for increased scores on the PMPUQ dependence subscale, namely using mobile phones daily, being female, engaging in social networking, playing video games, shopping and viewing TV shows through the Internet, chatting and messaging, and using mobile phones for downloading-related activities. Discussion and conclusions Self-reported dependence on mobile phone use is influenced by frequency and specific application usage. [less ▲]

Detailed reference viewed: 15 (3 UL)
Full Text
See detailHigher Education Systems and Institutions, Luxembourg
Harmsen, Robert UL; Powell, Justin J W UL

in Shin, J.C.; Teixeira, P. (Eds.) Encyclopedia of International Higher Education Systems and Institutions (in press)

Bordered by Belgium, France, and Germany, Luxembourg is one of the three main seats of the European Union’s institutions. The Grand Duchy of Luxembourg sits at the crossroads between Europe’s Germanic and ... [more ▼]

Bordered by Belgium, France, and Germany, Luxembourg is one of the three main seats of the European Union’s institutions. The Grand Duchy of Luxembourg sits at the crossroads between Europe’s Germanic and Francophone language communities. The country has experienced remarkable migratory flows, resulting in an ethnically hyper-diverse and multilingual population. Reflecting this cultural diversity, the educational system at all levels emphasizes language learning. Historically an agrarian society, a century ago it developed a very strong steelmaking industry and over the past decades has witnessed extraordinary growth in its financial services sector. Established to broaden the economic bases of the country, thus reducing overreliance on the steel and banking industries, yet against considerable pecuniary and ideological resistance, the national flagship University of Luxembourg (UL) was founded in 2003 upon initiative of a small group of elite decisionmakers. As a private, government-dependent institution (établissement public) directed by a Board of Governors (Conseil de Gouvernance), the university’s major funding is provided by the state, although its third-party funding has increased rapidly and substantially. Ironically, while spatial mobility is everywhere supported, Luxembourg has invested considerable capital and strategic planning in establishing its own national university. It aims to compete globally by concentrating its intellectual and financial resources and by building on the country’s strengths and priorities. The state took this ambitious step in scientific capacity-building in founding a research-oriented university, in so doing also providing a stay-at-home alternative for Luxembourg’s youth, traditionally educated abroad. The long-standing custom of educating elites in other countries was ostensibly justified by the establishment of cosmopolitan, Europe-wide networks. Today, rising international competition and supranational coordination have increased pressure on Luxembourg to grow its higher education system and thus also foster educational and scientific innovation. The University provides a means to diversify the economy and to integrate citizens from diverse cultural background, while the polity remains dominated by local elites. Oriented towards the Grand Duchy’s unique context—small size, but simultaneously flourishing center of European governance and international business—the University was founded upon the principles of internationality, multilingualism, and interdisciplinarity. [less ▲]

Detailed reference viewed: 25 (4 UL)
Full Text
See detailHigher Education Systems and Institutions, Qatar
Crist, John T.; Powell, Justin J W UL

in Shin, J.C.; Teixeira, P. (Eds.) Encyclopedia of International Higher Education Systems and Institutions (in press)

The tertiary education sector in Qatar has grown very rapidly, viewed as key to national development on the path to the “knowledge society,” also to reduce its reliance on limited natural resources. The ... [more ▼]

The tertiary education sector in Qatar has grown very rapidly, viewed as key to national development on the path to the “knowledge society,” also to reduce its reliance on limited natural resources. The states of the Islamic world, with a significant but long-obscured past of scientific achievement, are witnessing a contemporary renaissance. The establishment of international offshore, satellite or branch campuses in the Persian or Arabian Gulf region emphasizes the dynamism of higher education development. With a history of several decades, Qatar’s higher education and science policies join contrasting strategies prevalent in capacity building attempts worldwide – to emulate the strongest global exemplars through importation as well as to cultivate local, indigenous assets. Thus, university-related and science policymaking on the peninsula has been designed to directly connect with global developments while building local capacity in higher education and scientific productivity [less ▲]

Detailed reference viewed: 16 (2 UL)
Full Text
Peer Reviewed
See detailUnraveling Entangled Spaces and Practices: Teacher's Views on the evolving Material Classroom (c.1960-2015)
Tondeur, Jo; Herman, Frederik UL; De Buck, Maud et al

in European Journal of Education (in press)

Despite growing interest in redesigning the material landscape of education, relatively little is known about the impact of these evolving classrooms. The current study aimed to gain insight into the ... [more ▼]

Despite growing interest in redesigning the material landscape of education, relatively little is known about the impact of these evolving classrooms. The current study aimed to gain insight into the physical learning environment and the potential pedagogical impacts thereof. A ‘biographical approach’ (c.1963-2015), was used to explore the long-term socio-material landscapes where teachers and pupils, classroom materiality and spatiality, and teaching practices are entangled. Stimulated recall interviews were conducted in Flanders (Belgium) with primary school teachers. Teacher-generated floorplans detailing their material classroom over time, transcribed oral accounts elaborating on these, and supportive data sources were aggregated and thematically analysed. The resulting identification of six key themes shed light on the evolving architectural and infrastructural developments, as well as triggers and teaching impacts thereof amongst the interviewed teachers. Findings show that negative school evaluations urging school intervention, and teachers’ proactive engagement within their classrooms, were the main catalysts of change. Moreover, evolving classroom layouts, in addition to the affordances of upgraded equipment, can be associated to changes in teachers’ practices. It can be concluded that the classroom is becoming an action context as the result of the inextricable mediating agencies identified. [less ▲]

Detailed reference viewed: 22 (2 UL)
Full Text
Peer Reviewed
See detailAutomated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets
Panichella, Annibale UL; Kifetew, Fitsum; Tonella, Paolo

in IEEE Transactions on Software Engineering (in press)

The test case generation is intrinsically a multi-objective problem, since the goal is covering multiple test targets (e.g., branches). Existing search-based approaches either consider one target at a ... [more ▼]

The test case generation is intrinsically a multi-objective problem, since the goal is covering multiple test targets (e.g., branches). Existing search-based approaches either consider one target at a time or aggregate all targets into a single fitness function (whole-suite approach). Multi and many-objective optimisation algorithms (MOAs) have never been applied to this problem, because existing algorithms do not scale to the number of coverage objectives that are typically found in real-world software. In addition, the final goal for MOAs is to find alternative trade-off solutions in the objective space, while in test generation the interesting solutions are only those test cases covering one or more uncovered targets. In this paper, we present DynaMOSA (Dynamic Many-Objective Sorting Algorithm), a novel many-objective solver specifically designed to address the test case generation problem in the context of coverage testing. DynaMOSA extends our previous many-objective technique MOSA (Many-Objective Sorting Algorithm) with dynamic selection of the coverage targets based on the control dependency hierarchy. Such extension makes the approach more effective and efficient in case of limited search budget. We carried out an empirical study on 346 Java classes using three coverage criteria (i.e., statement, branch, and strong mutation coverage) to assess the performance of DynaMOSA with respect to the whole-suite approach (WS), its archive-based variant (WSA) and MOSA. The results show that DynaMOSA outperforms WSA in 28% of the classes for branch coverage (+8% more coverage on average) and in 27% of the classes for mutation coverage (+11% more killed mutants on average). It outperforms WS in 51% of the classes for statement coverage, leading to +11% more coverage on average. Moreover, DynaMOSA outperforms its predecessor MOSA for all the three coverage criteria in 19% of the classes with +8% more code coverage on average. [less ▲]

Detailed reference viewed: 21 (0 UL)
See detailAutobiografia ed emigrazione. Ricordare, raccontare, costruire
Cicotti, Claudio UL

Book published by Lang (in press)

Detailed reference viewed: 12 (0 UL)
See detailKünstliche Sprachen (Plansprachen / Welthilfssprachen)
Sieburg, Heinz UL

in Dembeck, Till; Parr, Rolf (Eds.) Literatur und Mehrsprachigkeit. Ein Handbuch (in press)

Detailed reference viewed: 19 (0 UL)
Peer Reviewed
See detailChapter 4:A Survey on The Polytopic Takagi-Sugeno Approach: Application to the Inverted Pendulum
Bezzaoucha, Souad UL; Voos, Holger UL; Darouach, Mohamed

in The Inverted Pendulum: From Theory to New Innovations in Control and Robotics (in press)

This book chapter gives a general scope, states the main results obtained and methods used for the Polytopic Takagi-Sugeno approach with a detailed application to the inverted pendulum. Modeling, observer ... [more ▼]

This book chapter gives a general scope, states the main results obtained and methods used for the Polytopic Takagi-Sugeno approach with a detailed application to the inverted pendulum. Modeling, observer and controller design will be considered. [less ▲]

Detailed reference viewed: 16 (1 UL)
Full Text
Peer Reviewed
See detailA classification of polynomial functions satisfying the Jacobi identity over integral domains
Marichal, Jean-Luc UL; Mathonet, Pierre

in Aequationes Mathematicae (in press)

The Jacobi identity is one of the properties that are used to define the concept of Lie algebra and in this context is closely related to associativity. In this paper we provide a complete description of ... [more ▼]

The Jacobi identity is one of the properties that are used to define the concept of Lie algebra and in this context is closely related to associativity. In this paper we provide a complete description of all bivariate polynomials that satisfy the Jacobi identity over infinite integral domains. Although this description depends on the characteristic of the domain, it turns out that all these polynomials are of degree at most one in each indeterminate. [less ▲]

Detailed reference viewed: 22 (4 UL)
See detailEbenen der Sprachstandardisierung
Sieburg, Heinz UL

in Dembeck, Till; Parr, Rolf (Eds.) Literatur und Mehrsprachigkeit. Ein Handbuch (in press)

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailJoint signature of two or more systems with applications to multistate systems made up of two-state components
Marichal, Jean-Luc UL; Mathonet, Pierre; Navarro, Jorge et al

in European Journal of Operational Research (in press)

The structure signature of a system made up of n components having continuous and i.i.d. lifetimes was defined in the eighties by Samaniego as the n-tuple whose k-th coordinate is the probability that the ... [more ▼]

The structure signature of a system made up of n components having continuous and i.i.d. lifetimes was defined in the eighties by Samaniego as the n-tuple whose k-th coordinate is the probability that the k-th component failure causes the system to fail. More recently, a bivariate version of this concept was considered as follows. The joint structure signature of a pair of systems built on a common set of components having continuous and i.i.d. lifetimes is a square matrix of order n whose (k,l)-entry is the probability that the k-th failure causes the first system to fail and the l-th failure causes the second system to fail. This concept was successfully used to derive a signature-based decomposition of the joint reliability of the two systems. In the first part of this paper we provide an explicit formula to compute the joint structure signature of two or more systems and extend this formula to the general non-i.i.d. case, assuming only that the distribution of the component lifetimes has no ties. We also provide and discuss a necessary and sufficient condition on this distribution for the joint reliability of the systems to have a signature-based decomposition. In the second part of this paper we show how our results can be efficiently applied to the investigation of the reliability and signature of multistate systems made up of two-state components. The key observation is that the structure function of such a multistate system can always be additively decomposed into a sum of classical structure functions. Considering a multistate system then reduces to considering simultaneously several two-state systems. [less ▲]

Detailed reference viewed: 13 (2 UL)
See detail'Heilige Sprachen', Weltsprachen. Lingua Franca
Sieburg, Heinz UL

in Dembeck, Till; Parr, Rolf (Eds.) Literatur und Mehrsprachigkeit. Ein Handbuch (in press)

Detailed reference viewed: 6 (0 UL)