Add to ORKGThis paper considers ways in which pro-gram analysis and test hypotheses com-plement, focusing on one particular ex-ample: the uniformity hypothesis. Con-ditioned slicing can be used to either provide confidence in the uniformity hy-pothesis, identify faults, or suggesting re-finements to the hypothesis. The exis-tence of a uniformity hypothesis assists in the production of small conditioned slices which might then be analysed fur
In this paper we provide percentage points for Neyman's goodness-of-fit statistics of order two...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
It is often the case that increasing the precision of a program anal-ysis leads to worse results. It...
United Kingdom This paper describes the use of conditioned slicing to assist partition testing, illu...
Abstract. The p-values observed in in-dependent tests on some hypothesis are, under the overall null...
The subject of assessing whether a data set is from a specific distribution has received a good deal...
Existing specification-based testing techniques often generate comprehensive test suites to cover di...
Recent years have seen an unprecedented adoption of artificial intelligence in a wide variety of app...
Analysts conducting experiments must frequently deal with situations in which data is incomplete or...
While mutation testing has proved to be an effective way of finding software faults, currently it is...
Funding Information: We thank the Academy of Finland (grant 298742), the Finnish Center for Artifici...
This Mathematica demonstration compares the sample uniform probability distribution with the theoret...
Smooth tests of goodness of fit assess the fit of data to a given probability density function withi...
Abstract A program slice extracts a semantically meaningful portion of a program, based upon a user-...
To compare two different hypothesis testing techniques, researchers use the following heuristic idea...
In this paper we provide percentage points for Neyman's goodness-of-fit statistics of order two...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
It is often the case that increasing the precision of a program anal-ysis leads to worse results. It...
United Kingdom This paper describes the use of conditioned slicing to assist partition testing, illu...
Abstract. The p-values observed in in-dependent tests on some hypothesis are, under the overall null...
The subject of assessing whether a data set is from a specific distribution has received a good deal...
Existing specification-based testing techniques often generate comprehensive test suites to cover di...
Recent years have seen an unprecedented adoption of artificial intelligence in a wide variety of app...
Analysts conducting experiments must frequently deal with situations in which data is incomplete or...
While mutation testing has proved to be an effective way of finding software faults, currently it is...
Funding Information: We thank the Academy of Finland (grant 298742), the Finnish Center for Artifici...
This Mathematica demonstration compares the sample uniform probability distribution with the theoret...
Smooth tests of goodness of fit assess the fit of data to a given probability density function withi...
Abstract A program slice extracts a semantically meaningful portion of a program, based upon a user-...
To compare two different hypothesis testing techniques, researchers use the following heuristic idea...
In this paper we provide percentage points for Neyman's goodness-of-fit statistics of order two...
The problem of uniform sampling is, given a formula F, sample solutions of F uniformly at random fro...
It is often the case that increasing the precision of a program anal-ysis leads to worse results. It...