English
Related papers

Related papers: A Review of Accelerated Test Models

200 papers

Measuring testability early in the development life cycle especially at design phase is a criterion of crucial importance to software designers, developers, quality controllers and practitioners. However, most of the mechanism available for…

Software Engineering · Computer Science 2015-03-19 M. H. Khan Abdullah , Reena Srivastava

Meta-analysis aims to combine effect measures from several studies. For continuous outcomes, the most popular effect measures use simple or standardized differences in sample means. However, a number of applications focus on the absolute…

Methodology · Statistics 2023-10-03 Elena Kulinskaya , David C. Hoaglin

Randomized A/B tests within online learning platforms represent an exciting direction in learning sciences. With minimal assumptions, they allow causal effect estimation without confounding bias and exact statistical inference even in small…

Methodology · Statistics 2023-06-13 Adam C. Sales , Ethan B. Prihar , Johann A. Gagnon-Bartsch , Neil T. Heffernan

Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the…

Logic in Computer Science · Computer Science 2023-06-22 Jaroslav Bendík , Ahmet Sencan , Ebru Aydin Gol , Ivana Černá

Machine learning (ML) models deployed in healthcare systems must face data drawn from continually evolving environments. However, researchers proposing such models typically evaluate them in a time-agnostic manner, splitting datasets…

Machine Learning · Computer Science 2023-07-21 Helen Zhou , Yuwen Chen , Zachary C. Lipton

Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability…

Software Engineering · Computer Science 2023-08-01 Luca Guglielmo , Leonardo Mariani , Giovanni Denaro

ML models are increasingly deployed in settings with real world interactions such as vehicles, but unfortunately, these models can fail in systematic ways. To prevent errors, ML engineering teams monitor and continuously improve these…

Artificial Intelligence · Computer Science 2020-03-13 Daniel Kang , Deepti Raghavan , Peter Bailis , Matei Zaharia

Outcome-dependent sampling designs are extensively utilized in various scientific disciplines, including epidemiology, ecology, and economics, with retrospective case-control studies being specific examples of such designs. Additionally, if…

Methodology · Statistics 2023-09-22 Min Zeng , Zeyang Jia , Zijian Sui , Jinfeng Xu , Hong Zhang

In model checking for regressions, nonparametric estimation-based tests usually have tractable limiting null distributions and are sensitive to oscillating alternative models, but suffer from the curse of dimensionality. In contrast,…

Methodology · Statistics 2019-03-12 Lingzhu Li , Xuehu Zhu , Lixing Zhu

Randomized experiments are an excellent tool for estimating internally valid causal effects with the sample at hand, but their external validity is frequently debated. While classical results on the estimation of Population Average…

Methodology · Statistics 2023-01-13 Apoorva Lal , Wenjing Zheng , Simon Ejdemyr

Evaluation and testing are critical for the development of Automated Vehicles (AVs). Currently, companies test AVs on public roads, which is very time-consuming and inefficient. We proposed the Accelerated Evaluation concept which uses a…

Systems and Control · Computer Science 2017-01-31 Zhiyuan Huang , Ding Zhao , Henry Lam , David J. LeBlanc , Huei Peng

Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems increasingly incorporate dynamic adaptation capabilities;…

Software Engineering · Computer Science 2012-05-28 Alexandre Bartel , Benoit Baudry , Freddy Munoz , Jacques Klein , Tejeddine Mouelhi , Yves Le Traon

The dramatic increase of observational data across industries provides unparalleled opportunities for data-driven decision making and management, including the manufacturing industry. In the context of production, data-driven approaches can…

Optimization and Control · Mathematics 2018-01-09 Najibesadat Sadati , Ratna Babu Chinnam , Milad Zafar Nezhad

In the context of a large software testing company, we have deployed the model-based testing (MBT) approach to take the company's test automation practices to higher levels of maturity /and capability. We have chosen, from a set of…

Software Engineering · Computer Science 2021-04-07 Vahid Garousi , Alper Buğra Keleş , Yunus Balaman , Zeynep Özdemir Güler , Andrea Arcuri

We propose a set of goodness-of-fit tests for the semiparametric accelerated failure time (AFT) model, including an omnibus test, a link function test, and a functional form test. This set of tests is derived from a multi-parameter…

Methodology · Statistics 2023-05-22 Dongrak Choi , Woojung Bae , Jun Yan , Sangwook Kang

This paper proposes an adaptive random experiment design (ARED) algorithm that can be applied to optimize the multiple factors and levels experiments. The algorithm takes real-time model error as the adaptive condition, and outputs a model…

Signal Processing · Electrical Eng. & Systems 2020-09-01 Zhou Qiao , Duan Xiaochang , Tang Wei

Artificial intelligence (AI) technology has become increasingly prevalent and transforms our everyday life. One important application of AI technology is the development of autonomous vehicles (AV). However, the reliability of an AV needs…

Applications · Statistics 2023-12-04 Simin Zheng , Lu Lu , Yili Hong , Jian Liu

Factorial designs are frequently used in different fields of science, e.g. psychological, medical or biometric studies. Standard approaches, as the ANOVA $F$-test, make different assumptions on the distribution of the error terms, the…

Methodology · Statistics 2018-02-21 Maria Umlauft

Learning-Based Testing (LBT) merges learning and testing processes to achieve both testing and behavioral adequacy. LBT utilizes active learning to infer the model of the System Under Test (SUT), enabling scalability for large and complex…

Software Engineering · Computer Science 2025-10-02 Sheikh Md. Mushfiqur Rahman , Nasir Eisty

In non-life insurance, it is essential to understand the serial dynamics and dependence structure of the longitudinal insurance data before using them. Existing actuarial literature primarily focuses on modeling, which typically assumes a…

Methodology · Statistics 2023-05-02 Yinhuan Li , Tsz Chai Fung , Liang Peng , Linyi Qian