Context: Regression testing is an important activity that allows ensuring the correct behavior of a system after a change. As the system grows, the time and resources to perform regression testing increase. Test Suite Reduction (TSR) approaches aim to speed up regression testing by removing obsolete or redundant test cases. These approaches can be classified as adequate or inadequate. Adequate TSR approaches reduce test suites and completely preserve test requirements (e.g., covered statements) of the original test suites. Inadequate TSR approaches do not preserve test requirements. The percentage of satisfed test requirements indicates the inadequacy level.

Objective: We compare some state-of-the art adequate and inadequate TSR approaches with respect to the size of the reduced test suites and their fault-detection capability. Specifcally, we aim to increase our body of knowledge on TSR approaches by performing the following comparisons: (i) well-known adequate TSR approaches; (ii) their inadequate variants; and (iii) several variants of a novel Clustering-Based (CB) approach for (adequate and inadequate) TSR.

Method: We conducted an experiment to compare adequate and inadequate TSR approaches and this comparison is founded on a public dataset containing information on real faults.

Results: The most important findings from our experiment can be summarized as follows: (i) there is not an inadequate TSR approach that performs better than others; (ii) some variants of the CB approach, and a few well-known inadequate approaches, outperform the adequate ones in terms of the reductions in test suite size with a negligible, or no, eect on fault-detection capability; and (iii) the CB approach is less sensitive than the other inadequate approaches, that is, variations in the inadequacy level have a small effect on the reduction in test suite size and on the loss in fault-detection capability.

Conclusions: These findings imply that inadequate TSR approaches and especially the CB approach might be appealing because they lead to a greater reduction in test suite size (with respect to the adequate ones) at the expense of a small loss in fault-detection capability.

Reporting Schedules A through S collect information about the components of reporting entities' regulatory capital, risk-weighted assets by type of credit risk exposure under the Advanced Internal Ratings-Based Approach, and risk-weighted assets and operational losses under the Advanced Measurement Approach. All nonconfidential data are available through the Federal Financial Institutions Examination Council (FFIEC) website: www.ffiec.gov/nicpubweb/nicweb/nichome.aspx.

Summary of the sample adequacy testing for Confirmatory Factor Analysis (CFA).

This statistic shows the European banks with the highest capital requirements according to the European Banking Authority (EBA*) stress test. This looks at the capital needs of institutions to achieve a core capital ratio of **** percent. The basis for the EBA test was the capital adequacy of banks as of 30 September 2011. These institutions now have time to replenish their capital assets until the end of June 2012. Core capital (also known as core tier-1 capital) usually includes the share capital and retained profits of a bank. The core capital ratio indicates how much of the risk, i.e. loans and investments, is covered by the bank's own capital. Overall, the capital requirements of the major banks tested in Europe amounted to approximately ***** billion euros, of which about *** billion euros lie with the Italian Banco Popolare.

Supplementary Data for the manuscript "XXXX". This contains 9 directories and 1 file: 8 specific to each dataset (archaea,arthropoda, eukaryota,mammalia,metazoa,stramenopiles,vertebrata,viridiplantae), the directory all_files and the file All_useful_info.xlsx.
All the details about the content and the structure can be found in the SI_zenodo_data_structure file uploaded.

Yearly citation counts for the publication titled "Structure of human values: Testing the adequacy of the Rokeach Value Survey.".

Widely used approaches for extracting phylogenetic information from aligned sets of molecular sequences rely upon probabilistic models of nucleotide substitution or amino-acid replacement. The phylogenetic information that can be extracted depends on the number of columns in the sequence alignment and will be decreased when the alignment contains gaps due to insertion or deletion events. Motivated by the measurement of information loss, we suggest assessment of the Effective Sequence Length (ESL) of an aligned data set. The ESL can differ from the actual number of columns in a sequence alignment because of the presence of alignment gaps. Furthermore, the estimation of phylogenetic information is affected by model misspecification. Inevitably, the actual process of molecular evolution differs from the probabilistic models employed to describe this process. This disparity means the amount of phylogenetic information in an actual sequence alignment will differ from the amount in a simulate...

The Comprehensive Capital Analysis and Review (CCAR) is an annual exercise by the Federal Reserve to assess whether the largest bank holding companies operating in the U.S. have sufficient capital to continue operations throughout times of economic and financial stress and that they have robust, forward-looking capital-planning processes that account for their unique risks. As part of this exercise, the Federal Reserve evaluates institutions' capital adequacy, internal capital adequacy assessment processes, and their individual plans to make capital distributions, such as dividend payments or stock repurchases.

A number of structural coverage criteria have been proposed to measure the adequacy of testing efforts. In the avionics and other critical systems domains, test suites satisfying structural coverage criteria are mandated by standards. With the advent of powerful automated test generation tools, it is tempting to simply generate test inputs to satisfy these structural coverage criteria. However, while techniques to produce coverage-providing tests are well established, the effectiveness of such approaches in terms of fault detection ability has not been adequately studied. In this work, we evaluate the effectiveness of test suites generated to satisfy four coverage criteria through counterexample-based test generation and a random generation approach-where tests are randomly generated until coverage is achieved-contrasted against purely random test suites of equal size. Our results yield three key conclusions. First, coverage criteria satisfaction alone can be a poor indication of fault finding effectiveness, with inconsistent results between the seven case examples (and random test suites of equal size often providing similar-or even higher-levels of fault finding). Second, the use of structural coverage as a supplement-rather than a target-for test generation can have a positive impact, with random test suites reduced to a coverage-providing subset detecting up to 13.5 percent more faults than test suites generated specifically to achieve coverage. Finally, Observable MC/DC, a criterion designed to account for program structure and the selection of the test oracle, can-in part-address the failings of traditional structural coverage criteria, allowing for the generation of test suites achieving higher levels of fault detection than random test suites of equal size. These observations point to risks inherent in the increase in test automation in critical systems, and the need for more research in how coverage criteria, test generation approaches, the test oracle use- , and system structure jointly influence test effectiveness.

The National Health and Nutrition Examination Surveys (Cycle I) were designed to measure the nutritional status and health of the U.S. population aged 1-74 years and to obtain more detailed information on the health status and medical care needs of adults aged 25-74 years in the civilian noninstitutionalized population. (Source: downloaded from ICPSR 7/13/10)

Please Note: This dataset is part of the historical CISER Data Archive Collection and is also available at ICPSR at https://doi.org/10.3886/ICPSR08057.v2. We highly recommend using the ICPSR version as they may make this dataset available in multiple data formats in the future.

Overview of Data

This dataset lists the mutation operators for C-programming language

Paper Abstract

Safety-critical software must adhere to stringent quality standards and is expected to be thoroughly tested. However, exhaustive testing of software is usually impractical. The two main challenges faced by a software testing team are generation of effective test cases and demonstration of testing adequacy.

This paper proposes an intuitive and conservative approach to determine the test adequacy in safety-critical software. The approach is demonstrated through a case study: the core temperature monitoring system of a nuclear reactor. We combine conservative test coverage of unique execution path test cases, and the results from mutation testing to determine the test adequacy.

Although mutation testing is a powerful technique, the difficulty in identifying equivalent mutants has limited its practical utility. To gain confidence on the computed test adequacy: (i) faults during mutation testing must be induced at all possible execution paths of the code, (ii) properties of unkilled mutants must be studied, and (iii) all equivalent mutants must be detected. In this regard; results of static, dynamic and coverage analysis of the mutants is presented, and a technique to identify the likely equivalent mutants is proposed.

Component factor loadings, component statistics, Bartlett’s test of sphericity and Kaiser-Meyer-Olkin measure of sampling adequacy of the factor analysis (principal component methods) for considered variables in the games against TOP opponents.

This article aims to adapt to Spanish the Relational Needs Satisfaction Scale (RNSS) and to test the factor structure with a clinical and a non-clinical sample. A total of 459 individuals completed the RNSS, a measure of life satisfaction and of psychological wellbeing. Results showed that the translation was adequate. An exploratory and confirmatory factor analysis was conducted followed by the test of three models that confirmed the five-factor structure and the second-order global factor proposed in the original study, and in adaptations to other languages. The advantages and disadvantages of these models are discussed. Correlations of the RNSS with life satisfaction and psychological wellbeing measures were in the expected direction, providing evidence of convergent validity. The Spanish version of the RNSS is a valid and reliable measure of the construct it was intended to measure, though some improvements in item wording could be incorporated and tested (for instance, item 18 should be positively worded as the rest of the items in order to avoid the effect of negative wording).

Experimental results presented in the paper "Mutation Adequacy Test Case Selection for Metamorphic Testing of AI Planners", both the figures and the raw data.

Supplementary_textTable S1FigS1Fig S1. Model adequacy results for Ebola virus data with four test statistics. The colours and symbols match those in Fig 2.FIgS1.pdfFigS2Fig S2. Model adequacy results for H1N1 influenza data with four test statistics. The colours and symbols match those in Fig 2. Note that the values are shown in log10 scale.

a All scores (MAR and NAR) ranged between 0 and 100.b P-value for trend across tertiles of MVD within each sex groupc 2-sided P-value from independent sample t-test comparing means of NAR and MAR across sex groups.Mean and Nutrient Adequacy Ratio (MAR and NAR) Scoresa for HANDLS participants by monetary value of diet tertile and sex.

This upload provides the scripts and data used for the computations in the aforementioned working paper. To run these files, you will need to adjust the directory in the files 'testTimeSeries.jl' and 'calli.bat' to your local directory. The subfolder 'reduceTimeSeries' contains all data and the script 'reduceTimeSeries.jl' to reduce the full time-series. Reduction using the 'Gerbaulet' method unfortunately requires a GAMS installation. The results of the reduction are already provided in the folder 'output'. The subfolder 'testTimeSeries' contains all data and the script 'testTimeSeries.jl' to test the reduced time-series with a capacity expansion model. The 'comment' and ‘source’ columns in the AnyMOD.jl input files provide further documentation on the used input parameters. The labels 'lowDem' and 'newDem' relate to what was referred to conventional demand and demand with sector integration in the paper, respectively.

Dataset Card for Risk and Suitability Harmless

  Description

The test set is designed for evaluating the performance of an insurance chatbot in the insurance industry. With a focus on reliability, the chatbot undergoes a series of tests to ensure it provides accurate and trustworthy information. The test set contains various scenarios that fall under the harmless category, giving users the opportunity to assess the chatbot's ability to answer questions related to risk and… See the full description on the dataset page: https://huggingface.co/datasets/rhesis/Insurance-Chatbot-Risk-and-Suitability-Harmless.

This dataset contains data generated in the AI DHC project.

The IEA DHC Annex XIII project “Artificial Intelligence for Failure Detection and Forecasting of Heat Production and Heat demand in District Heating Networks” is developing Artificial Intelligence (AI) methods for forecasting heat demand and heat production and is evaluating algorithms for detecting faults which can be used by interested stakeholders (operators, suppliers of DHC components and manufacturers of control devices)

We are testing the Kaggle features before releasing the full dataset.

This dataset contains synthetic fault data for a heat pump connected to a district heating system.

See (TODO link to github) for the models and pythons scripts used to generate the dataset

Disclaimer notice (IEA DHC): This project has been independently funded by the International Energy Agency Technology Collaboration Programme on District Heating and Cooling including Combined Heat and Power (IEA DHC).

Any views expressed in this publication are not necessarily those of IEA DHC.

IEA DHC can take no responsibility for the use of the information within this publication, nor for any errors or omissions it may contain.

Information contained herein have been compiled or arrived from sources believed to be reliable. Nevertheless, the authors or their organizations do not accept liability for any loss or damage arising from the use thereof. Using the given information is strictly your own responsibility.

Disclaimer Notice (Authors):

This publication has been compiled with reasonable skill and care. However, neither the authors nor the DHC Contracting Parties (of the International Energy Agency Technology Collaboration Programme on District Heating & Cooling) make any representation as to the adequacy or accuracy of the information contained herein, or as to its suitability for any particular application, and accept no responsibility or liability arising out of the use of this publication. The information contained herein does not supersede the requirements given in any national codes, regulations or standards, and should not be regarded as a substitute

Copyright:

All property rights, including copyright, are vested in IEA DHC. In particular, all parts of this publication may be reproduced, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording or otherwise only by crediting IEA DHC as the original source. Republishing of this report in another format or storing the report in a public retrieval system is prohibited unless explicitly permitted by the IEA DHC Operating Agent in writing.

The number of Korean midwifery licensing examination applicants has steadily decreased due to the low birth rate and lack of training institutions for midwives. This study aimed to evaluate the adequacy of the examination-based licensing system and the possibility of a training-based licensing system. A survey questionnaire was developed and dispatched to 230 professionals from December 28, 2022 to January 13, 2023, through an online form using Google Surveys.