English
Related papers

Related papers: About one 3-parameter Model of Testing

200 papers

Software testing is presented as a so-called theme within which different authors and groups have defined different subjects each of these subjects having a different focus on testing. A uniform concept of software testing is non-existent…

Software Engineering · Computer Science 2012-01-20 J. A. Bergstra

In this paper, we investigate the parameterized complexity of model checking for Dependence Logic which is a well studied logic in the area of Team Semantics. We start with a list of nine immediate parameterizations for this problem,…

Logic in Computer Science · Computer Science 2021-09-21 Juha Kontinen , Arne Meier , Yasir Mahmood

The study is conducted to evaluate the job satisfaction among the administrative and teaching faculties in higher educational institutions. Many researchers have conducted studies to evaluate differences in job perception between teaching…

History and Overview · Mathematics 2023-09-15 Mahak Bhatia , Aled Williams

This book, by Molero, Juiz, and Rodeno, titled Performance Evaluation and Modeling of Computer Systems, presents a comprehensive summary of simple quantitative techniques that help answer the above questions. Its approach is not one of…

Performance · Computer Science 2025-08-26 Xavier Molero , Carlos Juiz , Miguel Jesus Rodeno

Major advances have been made regarding the utilization of artificial intelligence in health care. In particular, deep learning approaches have been successfully applied for automated and assisted disease diagnosis and prognosis based on…

Methodology · Statistics 2020-03-24 Max Westphal , Antonia Zapf , Werner Brannath

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results…

Software Engineering · Computer Science 2015-04-09 Nikolay Pakulin , Alexander K. Petrenko , Bernd-Holger Schlingloff

Testing between hypotheses, when independent sampling is possible, is a well developed subject. In this paper, we propose hypothesis tests that are applicable when the samples are obtained using Markov chain Monte Carlo. These tests are…

Methodology · Statistics 2015-08-14 Benjamin M. Gyori , Daniel Paulin

In this article, we establish a test for multivariate scatter parameter in elliptical model, where the location parameter is known, and the scatter parameter is estimated by the multivariate forward search method. The consistency property…

Methodology · Statistics 2018-11-27 Chitradipa Chakraborty

Model evaluation -- the process of making inferences about the performance of predictive models -- is a critical component of predictive modeling research in learning analytics. We survey the state of the practice with respect to model…

Applications · Statistics 2018-06-15 Josh Gardner , Christopher Brooks

We introduce estimation and test procedures through divergence minimization for models satisfying linear constraints with unknown parameter. Several statistical examples and motivations are given. These procedures extend the empirical…

Statistics Theory · Mathematics 2008-11-24 Michel Broniatowski , Amor Keziou

The aim of this work is to implement a statistical mechanics theory of social interaction, generalizing econometric discrete choice models. A class of simple mean field discrete models is introduced and discussed both from the theoretical…

Physics and Society · Physics 2008-11-20 Ignacio Gallo , Adriano Barra , Pierluigi Contucci

Motivated by the rapid ascent of Large Language Models (LLMs) and debates about the extent to which they possess human-level qualities, we propose a framework for testing whether any agent (be it a machine or a human) understands a subject…

Artificial Intelligence · Computer Science 2024-06-21 Kevin Leyton-Brown , Yoav Shoham

We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically, the new model refers to testing properties of distributions, but these are…

Data Structures and Algorithms · Computer Science 2024-02-14 Oded Goldreich , Dana Ron

This paper proposes an assessment model, based on a new taxonomy, which comprises an evaluation guideline with performance metrics and experimental setup to aid designers in evaluating solutions through fair comparisons. Simulation results…

Networking and Internet Architecture · Computer Science 2014-06-03 Waldir Moreira , Paulo Mendes , Susana Sargento

In this paper, we propose to study language modelling as a multi-task problem, bringing together three strands of research: multi-task learning, linguistics, and interpretability. Based on hypotheses derived from linguistic theory, we…

Computation and Language · Computer Science 2021-01-28 Lucas Weber , Jaap Jumelet , Elia Bruni , Dieuwke Hupkes

We study the role of information and access in capacity-constrained selection problems with fairness concerns. We develop a statistical discrimination framework, where each applicant has multiple features and is potentially strategic. The…

Computers and Society · Computer Science 2026-03-03 Nikhil Garg , Hannah Li , Faidra Monachou

Classification is a fundamental problem in machine learning and data mining. During the past decades, numerous classification methods have been presented based on different principles. However, most existing classifiers cast the…

Machine Learning · Computer Science 2019-04-23 Zengyou He , Chaohua Sheng , Yan Liu , Quan Zou

This paper studies the estimation of characteristic-based quantile factor models where the factor loadings are unknown functions of observed individual characteristics while the idiosyncratic error terms are subject to conditional quantile…

Econometrics · Economics 2023-04-27 Liang Chen , Juan Jose Dolado , Jesus Gonzalo , Haozi Pan

Permutation testing in linear models, where the number of nuisance coefficients is smaller than the sample size, is a well-studied topic. The common approach of such tests is to permute residuals after regressing on the nuisance covariates.…

Methodology · Statistics 2020-10-09 Jesse Hemerik , Magne Thoresen , Livio Finos

This proposal presents a methodology called enriched three-tier test, based on a similar test previously discussed in the literature. Ours consists of the use of justification and degrees of confidence combined with a multiple-choice test.…

Physics Education · Physics 2014-09-08 Ricardo Buzzo , Alicia M. Montecinos