In the test cover problem a set of items is given together with a collection of subsets of the items, called tests. A smallest subcollection of tests is to be selected such that for every pair of items there is a test in the selection that contains exactly one of the two items. This problem is NP-hard in general. It has important applications in biology, pharmacy, and the medical sciences, as w...

We propose an approach which, given a state-transition model of a system, constructs, in parallel, an approximate automaton model and a test suite for the system. The approximate model construction relies on a variant of Angluin’s automata learning algorithm, adapted to finite cover automata. A finite cover automaton represents an approximation of the system which only considers sequences of le...

Testing for object-oriented programs is complicated and burdensome. One reason is the difficulty associated with generating method sequences that create instances and change object states to achieve high branch coverage. Automated test generation using mixed static and dynamic analysis is not only an effective approach to save time and reduce the burden of testing, but also an efficient way to ...

* Corresponding Author Abstract-Knowledge-based Fuzzing technologies have been applied successfully in software vulnerability mining, however, its current methods mainly focus on Fuzzing target software using a single data sample with one or multi-dimension input mutation [1], and thus the vulnerability mining results are not stable, false negatives of vulnerability are high and the selection o...

Waste storage facilities must be protected against weathering once mining operations come to end, in order ensure structural integrity and avoid environmental pollution. Cover systems consisting on earthen materials layers that are placed over the wastes a widely spread solution fulfil such requirement. This paper presents an experimental study of cover system intended protect waste facility ca...