Objective priors, especially reference priors, have been well-known for geostatistical data since Berger, et al. (2001). A long-standing problem is to develop objective Bayes inference for spatially correlated data with nugget effects. In this paper, objective priors for such cases are systematically studied. In addition to the Jeffreys priors and commonly used reference priors, two types of “e...

This paper presents two additional strategies to reduce simulation time for Bayesian based stopping rules in VHDL model verification. The first is that a semi-random variable is defined and the data staying in the semi-random variable range are skipped when stopping rule is running, and a turning point that can partition a random variable into a semi-random and a genuine random variable is chos...

This thesis proposes a new notion of semantic coverage in formal testing: actual coverage. It is defined for test case and test suite executions, as well as for sequences of their executions. A fault is considered to be completely covered if an execution showed its presence, and it is considered partly covered if an execution increased the confidence in its absence. Actual coverage can be used ...

When developers test modern web applications that use JavaScript, challenging issues lie in their event-driven, asynchronous, and dynamic features. Many researchers have assessed the adequacy of test cases with code coverage criteria; however, in this paper, we show that the code coverage-based approach possibly misses some faults in the applications. We propose a mutation analysis approach for...

Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values, is generally incapable of generating diverse inputs that exercise all paths in the program. Due to the path-explosion problem and dependence on SMT solvers, symbolic execution may also not achieve high path coverage....

Today, Software testing is an essential part of successful software development process. The input executes the program and produces the expected output. The outcome of the software product depends on software testing. Manual testing is difficult to produce expected output. The manual testing takes long time to test. The major problem in manual testing is code coverage is not done at regular in...

Today, Software testing is an essential part of successful software development process. The input executes the program and produces the expected output. The outcome of the software product depends on software testing. Manual testing is difficult to produce expected output. The manual testing takes long time to test. The major problem in manual testing is code coverage is not done at regular in...

Mutation testing helps in evaluation of test suite quality and test development. It can be directed to programs of different languages. High cost of a mutation testing process limits its applicability. This paper focuses on mutation testing of Python programs, discussing several issues of mutant creation and execution. It was showed how they can be effectively handled in the Python environment....