A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

06/26/2011
by   P. F. Patel-Schneider, et al.
0

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/03/2018

A Search for Good Pseudo-random Number Generators : Survey and Empirical Studies

In today's world, several applications demand numbers which appear rando...
research
03/29/2019

New consistent exponentiality tests based on V-empirical Laplace transforms with comparison of efficiencies

We present new consistent goodness-of-fit tests for exponential distribu...
research
11/20/2017

A new class of tests for multinormality with i.i.d. and Garch data based on the empirical moment generating function

We generalize a recent class of tests for univariate normality that are ...
research
12/11/2019

An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification

Simulation-based verification is beneficial for assessing otherwise dang...
research
11/25/2020

Elliptical Symmetry Tests in R

The assumption of elliptical symmetry has an important role in many theo...
research
12/29/2018

Hypothesis testing procedures for two sample means with applications to gene expression data

In Bioinformatics, the number of available variables for a few tens of s...
research
02/23/2018

On detecting changes in the jumps of arbitrary size of a time-continuous stochastic process

This paper introduces test and estimation procedures for abrupt and grad...

Please sign up or login with your details

Forgot password? Click here to reset