Abstract Context Access control systems demand rigorous verification and validation approaches, otherwise, they can end up with security breaches. Finite state machines ...

This paper considers tests of the parameter of an endogenous variable in an instrumental variables regression model. The focus is on one-sided conditional t-tests. Theoretical and numerical work shows that the conditional ...

This dissertation deals with the problem of making inference when there is weak identification in models of instrumental variables regression. More specifically we are interested in one-sided hypothesis testing for the ...

In this work we focus on tests for the parameter of an endogenous variable in a weakly identi ed instrumental variable regressionmodel. We propose a new unbiasedness restriction for weighted average power (WAP) tests ...

This thesis contains three chapters. The first chapter considers tests of the parameter of an endogenous variable in an instrumental variables regression model. The focus is on one-sided conditional t-tests. Theoretical ...

This paper develops a general method for constructing similar tests based on the conditional distribution of nonpivotal statistics in a simultaneous equations model with normal errors and known reducedform covariance matrix. ...

Context: The Mutation Analysis criterion – or, mutation testing – allows both the evaluation of test sets and the identification of faults present in the software. The criterion is considered effective, however has gaps in ...

Pharmaceutical equivalence is an important step towards the confirmation of similarity and Interchangeability among pharmaceutical products, particularly regarding those that win not be tested for bioequivalence. The aim ...

This paper considers tests which maximize the weighted average power (WAP). The focus is on determining WAP tests subject to an uncountable number of equalities and/or inequalities. The unifying theory allows us to obtain ...

Researchers often rely on the t-statistic to make inference on parameters in statistical models. It is common practice to obtain critical values by simulation techniques. This paper proposes a novel numerical method to ...