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 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
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)
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)
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)
See detailSprachkontakt: Pidgins und Kreolsprachen
Sieburg, Heinz UL

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

Detailed reference viewed: 19 (1 UL)
See detailSpezialsprachen: Fachsprachen, Wissenschaftssprachen
Sieburg, Heinz UL

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

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailThe Century of Science: The Global Triumph of the Research University
Powell, Justin J W UL; Baker, David P.; Fernandez, Frank

in International Perspectives on Education & Society (in press), 33

In The Century of Science, a multicultural, international team of authors examines the global rise of scholarly research in science, technology, engineering, mathematics, and health (STEM+) fields. At the ... [more ▼]

In The Century of Science, a multicultural, international team of authors examines the global rise of scholarly research in science, technology, engineering, mathematics, and health (STEM+) fields. At the beginning of the 20th century, the global center-point of scientific productivity was about half way between Western Europe and the U.S., in the North Atlantic. Then, the center moved steadily westward and slightly southward—reflecting the burgeoning science capacity of the U.S. supported by America’s thriving public and private universities, technological innovation, and overall economic growth. After WWII, this began to change as the course of the world’s scientific center of gravity turned and for the next 70 years traveled eastward, the direction it still travels, especially due to the rise of China and other prolific East Asian countries, such as Japan, Taiwan, and South Korea. Europe continues to be the center of global science. Focusing on these developments, this volume provides historical and sociological understandings of the ways that higher education has become an institution that, more than ever before, shapes science and society. Case studies, supported by the most historically and spatially extensive database on STEM+ publications available, of selected countries in Europe, North America, East Asia, and the Middle East, emphasize recurring themes: the institutionalization and differentiation of higher education systems to the proliferation of university-based scientific research fostered by research policies that support continued university expansion leading to the knowledge society. Growing worldwide, research universities appear to be the most legitimate sites for knowledge production. Countries like France, Germany, the United Kingdom, the United States, and Japan began the 20th century with prerequisites in place to realize the emerging model of university-based research. Over the past several decades, China, South Korea, and Taiwan, with different historical legacies and conflicts in education and research policy, have witnessed explosive growth, sustained by public and private funds. Qatar recently embarked on an ambitious government-driven effort to develop a world-class university sector and cultivate academic STEM+ research from scratch. These more recent entrants to the global scientific enterprise pose the question whether it is possible to leapfrog across decades, or even centuries, of cultivating university systems, to compete globally. Simultaneously with international and regional competition, world-leading science increasingly implies collaboration across cultural and political borders as global scientific production and networking continue to rise exponentially. This volume’s case studies offer new insights into how countries develop the university-based knowledge thought fundamental to meeting social needs and economic demands. Despite repeated warnings that universities would lose in relevance to other organizational forms in the production of knowledge, our findings demonstrate incontrovertibly that universities have become more—not less—important actors in the world of knowledge. The past hundred years have seen the global triumph of the research university. [less ▲]

Detailed reference viewed: 37 (12 UL)
Full Text
Peer Reviewed
See detailThe European Center of Science Productivity: Research Universities and Institutes in France, Germany, and the United Kingdom
Powell, Justin J W UL; Dusdal, Jennifer UL

in International Perspectives on Education & Society (in press), 33

Growth in scientific productivity over the 20th century resulted significantly from three major countries in European science—France, Germany, and the United Kingdom. We chart the development of ... [more ▼]

Growth in scientific productivity over the 20th century resulted significantly from three major countries in European science—France, Germany, and the United Kingdom. We chart the development of universities and research institutes that bolster Europe’s key position in global science. We uncover both stable and dynamic patterns of productivity in the fields of STEM, including health, over the twentieth century. On-going internationalization of higher education and science has been accompanied by increasing competition and collaboration. Despite policy goals to foster innovation and expand research capacity, policies cannot fully account for the differential growth of scientific productivity we chart from 1975 to 2010. Our neoinstitutional framework facilitates explanation of differences in institutional settings, organizational forms, and organizations that produce the most European research. We measure growth of published peer-reviewed articles indexed in Thomson Reuters’ Science Citation Index Expanded (SCIE). Organizational forms vary in their contributions, with universities accounting for nearly half but rising in France; ultrastable in Germany at four-fifths, and growing at around two-thirds in the UK. Differing institutionalization pathways created the conditions necessary for continuous, but varying growth in scientific productivity in the European center of global science. The research university is central in all three countries, and we identify organizations leading in research output. Few analyses explicitly compare across time, space, and different levels of analysis. We show how important European science has been to overall global science productivity. In-depth comparisons, especially the organizational fields and forms in which science is produced, are crucial if policy is to support research and development. [less ▲]

Detailed reference viewed: 28 (11 UL)
Full Text
Peer Reviewed
See detailThe Worldwide Triumph of the Research University and Globalizing Science
Powell, Justin J W UL; Fernandez, Frank; Crist, John T. et al

in International Perspectives on Education & Society (in press), 33

This chapter provides an overview of the findings and chapters of volume 33 in the International Perspectives on Education and Society (IPES) series. It describes the common dataset and methods used by an ... [more ▼]

This chapter provides an overview of the findings and chapters of volume 33 in the International Perspectives on Education and Society (IPES) series. It describes the common dataset and methods used by an international research team. The chapter synthesizes the results of a series of country-level case studies and cross-national and regional comparisons on the growth of scientific research from 1900 until 2011. Additionally, the chapter provides a quantitative analysis of global trends in scientific, peer-reviewed publishing over the same period. The introduction identifies common themes that emerged across the case studies examined in-depth during the multi-year research project Science Productivity, Higher Education, Research Development and the Knowledge Society (SPHERE). First, universities have long been and increasingly are the primary organizations in science production around the globe. Second, the chapters describe in-country and cross-country patterns of competition and collaboration in scientific publications. Third, the chapters describe the national policy environments and institutionalized organizational forms that fostered scientific research. The introduction reviews selected findings and limitations of previous bibliometric studies and explains that the chapters in the volume overcome these limitations by applying neo-institutional theoretical frameworks to analyze bibliometric data over an extensive period. [less ▲]

Detailed reference viewed: 21 (8 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: 11 (2 UL)