Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailTest Generation and Test Prioritization for Simulink Models with Dynamic Behavior
Matinnejad, Reza; Nejati, Shiva UL; Briand, Lionel UL et al

in IEEE Transactions on Software Engineering (2019), 45(9), 919-944

All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Among the different disciplines, the engineering of Cyber Physical Systems (CPSs ... [more ▼]

All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Among the different disciplines, the engineering of Cyber Physical Systems (CPSs) particularly relies on models with dynamic behaviors (i.e., models that exhibit time-varying changes). The Simulink modeling platform greatly appeals to CPS engineers since it captures dynamic behavior models. It further provides seamless support for two indispensable engineering activities: (1) automated verification of abstract system models via model simulation, and (2) automated generation of system implementation via code generation. We identify three main challenges in the verification and testing of Simulink models with dynamic behavior, namely incompatibility, oracle and scalability challenges. We propose a Simulink testing approach that attempts to address these challenges. Specifically, we propose a black-box test generation approach, implemented based on meta-heuristic search, that aims to maximize diversity in test output signals generated by Simulink models. We argue that in the CPS domain test oracles are likely to be manual and therefore the main cost driver of testing. In order to lower the cost of manual test oracles, we propose a test prioritization algorithm to automatically rank test cases generated by our test generation algorithm according to their likelihood to reveal a fault. Engineers can then select, according to their test budget, a subset of the most highly ranked test cases. To demonstrate scalability, we evaluate our testing approach using industrial Simulink models. Our evaluation shows that our test generation and test prioritization approaches outperform baseline techniques that rely on random testing and structural coverage. [less ▲]

Detailed reference viewed: 329 (95 UL)
Full Text
Peer Reviewed
See detailA test is much more than just the test. Some thoughts on adaptations and equivalence.
Greiff, Samuel UL; Iliescu, Dragos

in European Journal of Psychological Assessment (2017), 33

Detailed reference viewed: 71 (11 UL)
Full Text
See detailA test of the Modigliani Miller Invariance Theorem and Arbitrage in Experimental Asset Markets
Neugebauer, Tibor UL; Charness, Gary

E-print/Working paper (2018)

Modigliani and Miller (1958) show that a repackaging of asset return streams to equity and debt has no impact on the total market value of the firm if pricing is arbitrage-free. We test the empirical ... [more ▼]

Modigliani and Miller (1958) show that a repackaging of asset return streams to equity and debt has no impact on the total market value of the firm if pricing is arbitrage-free. We test the empirical validity of this invariance theorem in experimental asset markets with simultaneous trading in two shares of perfectly-correlated returns. Our data support value invariance for assets of identical risks when returns are perfectly correlated. However, exploiting price discrepancies has risk when returns have the same expected value but are uncorrelated, and we find that the law of one price is violated in this case. Discrepancies shrink in consecutive markets, but seem to persist even with experienced traders. In markets where overall trader acuity is high, assets trade closer to parity. [less ▲]

Detailed reference viewed: 35 (1 UL)
Full Text
Peer Reviewed
See detailA Test of the Modigliani-Miller Invariance Theorem and Arbitrage in Experimental Asset Markets
Neugebauer, Tibor UL; GARY, CHARNESS

in Journal of Finance (2019), 74(1)

Detailed reference viewed: 108 (9 UL)
Full Text
Peer Reviewed
See detailTest Suite Generation with the Many Independent Objective (MIO) Algorithm
Arcuri, Andrea UL

in Information and Software Technology (2018), 104(December), 195-206

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

Context: Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g, statements to execute or mutants to kill) is an objective on its own. Test suite generation has peculiarities that are quite different from other more regular optimisation 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 first place. Furthermore, the amount of objectives in software testing can quickly become unmanageable, in the order of (tens/hundreds of) thousands, especially for system testing of industrial size systems. Objective: To overcome these issues, different 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 testing). In this paper, we propose a novel algorithm, called Many Independent Objective (MIO) algorithm. This algorithm is designed and tailored based on the specific properties of test suite generation. Method: An empirical study was carried out for test suite generation on a series of artificial examples and seven RESTful API web services. The \evo system test generation tool was used, where MIO, MOSA, WTS and random search were compared. Results: The presented MIO algorithm resulted having the best overall performance, but was not the best on all problems. Conclusion: The novel presented MIO algorithm is a step forward in the automation of test suite generation for system testing. However, there are still properties of system testing that can be exploited to achieve even better results. [less ▲]

Detailed reference viewed: 118 (22 UL)
Peer Reviewed
See detailA test to measure early number skills progress among 4 to 6 years old children
De Chambrier, Anne-Françoise; Fagnant, Annick; Giauque, Nadine et al

Scientific Conference (2018, July)

Detailed reference viewed: 43 (2 UL)
See detailDas Testament des Nikolaus von Mensdorf/Luxemburg, Scholaster von Sankt Paulin vor Trier
Pauly, Michel UL

in Mötsch, Johannes (Ed.) Ein Eifler für Rheinland-Pfalz. Festschrift für Franz-Josef Heyen zum 75. Geburtstag am 2. Mai 2003 (2003)

Detailed reference viewed: 34 (1 UL)
Full Text
Peer Reviewed
See detailTesticular self-examination: Attitudes and practices among young men in Europe
Wardle, Jane; Steptoe, Andrew; Burckhardt, Ruth et al

in Preventive Medicine (1994), 23

BACKGROUND: Testicular self examination (TSE) is recommended for the early detection of testicular cancer. Evidence from North America suggests there is only limited public awareness of its importance ... [more ▼]

BACKGROUND: Testicular self examination (TSE) is recommended for the early detection of testicular cancer. Evidence from North America suggests there is only limited public awareness of its importance among the young male population. Compliance with regular TSE is found in only a small minority of young men. Attitudes toward and practice of TSE have rarely been studied outside North America. METHOD: Attitudes to TSE were evaluated by questionnaire in a sample of 16,486 students. Frequency of TSE practice was reported by the 7,304 men in the sample. The data were collected as part of the European Health Behavior Survey, an international study on health beliefs and health behavior. RESULTS: Eighty-seven percent of men reported never having practiced TSE. Regular practice (monthly) was reported by only 3% of the sample, with another 10% reporting occasional TSE. Significant differences emerged between countries, ranging from 76% of German men to 98% of Icelandic men reporting no TSE. Men rated TSE as less important to health than women. Attitude toward TSE among men was a significant predictor of TSE practice. CONCLUSION: Both the low levels of TSE and the low ratings of the importance of TSE suggest that young men in Europe are unaware of the value of this comparatively simple method of early detection of cancer. If a highly educated population group in the "at risk" age category is not carrying out the recommendations, it is unlikely that there are higher levels of compliance in other groups. These results suggest an important role for health education in the early detection of testicular cancer. [less ▲]

Detailed reference viewed: 87 (0 UL)
Full Text
See detailTESTING 21ST CENTURY SKILLS IN A CHANGING NATURE OF WORK: THE CONSTRUCT VALIDITY OF COMPLEX PROBLEM SOLVING AND ORGANIZATIONAL LEARNING
Mainert, Jakob UL

Doctoral thesis (2017)

This thesis investigates the empirical assessment and construct validity of complex problem-solving (CPS) skills and organizational learning (OL) in a changing nature of work. Technological and ... [more ▼]

This thesis investigates the empirical assessment and construct validity of complex problem-solving (CPS) skills and organizational learning (OL) in a changing nature of work. Technological and organizational change enlarge the gap between the type of employee required by the market and the employees who are actually being provided by higher education as human capital to the market. Two constructs, CPS and OL, might strengthen human capital to close the emerging gap in a changing nature of work. [less ▲]

Detailed reference viewed: 115 (15 UL)
Full Text
Peer Reviewed
See detailLe testing adaptatif par ordinateur dans la mesure en éducation: potentialités et limites
Martin, Romain UL

in Psychologie et Psychométrie (2003), 24(2-3), 89-116

Detailed reference viewed: 68 (3 UL)
Full Text
Peer Reviewed
See detailTesting Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Ben Abdessalem (helali), Raja UL; Nejati, Shiva UL; Briand, Lionel UL et al

in International Conference on Automated Software Engineering (ASE 2016) (2016)

Recent years have seen a proliferation of complex Advanced Driver Assistance Systems (ADAS), in particular, for use in autonomous cars. These systems consist of sensors and cameras as well as image ... [more ▼]

Recent years have seen a proliferation of complex Advanced Driver Assistance Systems (ADAS), in particular, for use in autonomous cars. These systems consist of sensors and cameras as well as image processing and decision support software components. They are meant to help drivers by providing proper warnings or by preventing dangerous situations. In this paper, we focus on the problem of design time testing of ADAS in a simulated environment. We provide a testing approach for ADAS by combining multi- objective search with surrogate models developed based on neural networks. We use multi-objective search to guide testing towards the most critical behaviors of ADAS. Surrogate modeling enables our testing approach to explore a larger part of the input search space within limited computational resources. We characterize the condition under which the multi-objective search algorithm behaves the same with and without surrogate modeling, thus showing the accuracy of our approach. We evaluate our approach by applying it to an industrial ADAS system. Our experiment shows that our approach automatically identifies test cases indicating critical ADAS behaviors. Further, we show that combining our search algorithm with surrogate modeling improves the quality of the generated test cases, especially under tight and realistic computational resources. [less ▲]

Detailed reference viewed: 599 (135 UL)
Full Text
Peer Reviewed
See detailTesting association of rare genetic variants with resistance to three common antiseizure medications
Wolking, Stefan; Moreau, Claudia; Nies, Anne T. et al

in Epilepsia (2020), 61(n/a), 657-666

Abstract Objective Drug resistance is a major concern in the treatment of individuals with epilepsy. No genetic markers for resistance to individual antiseizure medication (ASM) have yet been identified ... [more ▼]

Abstract Objective Drug resistance is a major concern in the treatment of individuals with epilepsy. No genetic markers for resistance to individual antiseizure medication (ASM) have yet been identified. We aimed to identify the role of rare genetic variants in drug resistance for three common ASMs: levetiracetam (LEV), lamotrigine (LTG), and valproic acid (VPA). Methods A cohort of 1622 individuals of European descent with epilepsy was deeply phenotyped and underwent whole exome sequencing (WES), comprising 575 taking LEV, 826 LTG, and 782 VPA. We performed gene- and gene set–based collapsing analyses comparing responders and nonresponders to the three drugs to determine the burden of different categories of rare genetic variants. Results We observed a marginally significant enrichment of rare missense, truncating, and splice region variants in individuals who were resistant to VPA compared to VPA responders for genes involved in VPA pharmacokinetics. We also found a borderline significant enrichment of truncating and splice region variants in the synaptic vesicle glycoprotein (SV2) gene family in nonresponders compared to responders to LEV. We did not see any significant enrichment using a gene-based approach. Significance In our pharmacogenetic study, we identified a slightly increased burden of damaging variants in gene groups related to drug kinetics or targeting in individuals presenting with drug resistance to VPA or LEV. Such variants could thus determine a genetic contribution to drug resistance. [less ▲]

Detailed reference viewed: 25 (0 UL)
Full Text
Peer Reviewed
See detailTesting Autonomous Cars for Feature Interaction Failures using Many-Objective Search
Ben Abdessalem (helali), Raja UL; Panichella, Annibale; Nejati, Shiva UL et al

in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018) (2018)

Complex systems such as autonomous cars are typically built as a composition of features that are independent units of functionality. Features tend to interact and impact one another’s behavior in unknown ... [more ▼]

Complex systems such as autonomous cars are typically built as a composition of features that are independent units of functionality. Features tend to interact and impact one another’s behavior in unknown ways. A challenge is to detect and manage feature interactions, in particular, those that violate system requirements, hence leading to failures. In this paper, we propose a technique to detect feature interaction failures by casting our approach into a search-based test generation problem. We define a set of hybrid test objectives (distance functions) that combine traditional coverage-based heuristics with new heuristics specifically aimed at revealing feature interaction failures. We develop a new search-based test generation algorithm, called FITEST, that is guided by our hybrid test objectives. FITEST extends recently proposed many-objective evolutionary algorithms to reduce the time required to compute fitness values. We evaluate our approach using two versions of an industrial self-driving system. Our results show that our hybrid test objectives are able to identify more than twice as many feature interaction failures as two baseline test objectives used in the software testing literature (i.e., coverage-based and failure-based test objectives). Further, the feedback from domain experts indicates that the detected feature interaction failures represent real faults in their systems that were not previously identified based on analysis of the system features and their requirements. [less ▲]

Detailed reference viewed: 492 (69 UL)
Full Text
Peer Reviewed
See detailTesting conditional symmetry without smoothing
Chen, Tao; Tripathi, Gautam UL

in Journal of Nonparametric Statistics (2013), 25

Detailed reference viewed: 229 (118 UL)
Full Text
Peer Reviewed
See detailTesting Condtional Moment Restrictions
Tripathi, Gautam UL; Kitamura, Yuichi

in Annals of Statistics (2003), 31

Detailed reference viewed: 29 (2 UL)
Full Text
Peer Reviewed
See detailTesting convex hypotheses on the mean of a Gaussian vector. Application to testing qualitative hypotheses on a regression function
Baraud, Yannick UL; Huet, Sylvie; Laurent, Béatrice

in Ann. Statist. (2005), 33(1), 214--257

Detailed reference viewed: 48 (2 UL)
Full Text
Peer Reviewed
See detailTesting Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Di Alesio, Stefano; Gotlieb, Arnaud; Nejati, Shiva UL et al

in CSTVA 2012 (2012)

Detailed reference viewed: 163 (10 UL)
Full Text
Peer Reviewed
See detailTesting Delegation Policy Enforcement via Mutation Analysis
Nguyen, Phu Hong UL; Papadakis, Mike UL; Rubab, Iram UL

in 7th International Workshop on Mutation Analysis (2013, March)

Delegation is an important dimension of security that plays a crucial role in the administration mechanism of access control policies. Delegation may be viewed as an exception made to an access control ... [more ▼]

Delegation is an important dimension of security that plays a crucial role in the administration mechanism of access control policies. Delegation may be viewed as an exception made to an access control policy in which a user gets right to act on behalf of other users. This meta-level characteristic together with the complexity of delegation itself make it crucial to ensure the correct enforcement and management of delegation policy in a system via testing. To this end, we adopt mutation analysis for delegation policies. In order to achieve this, a set of mutant operators specially designed for introducing mutants into the key components (features) of delegation is proposed. Our approach consists of analyzing the representation of the key components of delegation, based on which we derive the suggested set of mutant operators. These operators can then be used to introduce mutants into delegation policies and thus, enable mutation testing. A demonstration of the proposed approach on a model-driven adaptive delegation implementation of a library management system is also provided. [less ▲]

Detailed reference viewed: 128 (10 UL)