Dynamic detection of program invariants is emerging as an important research area with many challenging problems. Generating suitable test cases that support accurate detection of program invariants is crucial to the dynamic approach for invariant detection. In this paper, we propose a new structural coverage criterion called Invariant-coverage criterion for dynamic detection of program invaria...

In this paper we study the ring of graph invariants, focusing mainly on the invariants of simple graphs. We show that all other invariants, such as sorted eigenvalues, degree sequences and canonical permutations, belong to this ring. In fact, every graph invariant is a linear combination of the basic graph invariants which we study in this paper. To prove that two graphs are isomorphic, a numbe...

Introduction: To investigate the effects of breathing cycle and tree diaphragm motions on prostate cancer tumors standard uptake value (SUV) during positron emission tomography (PET) and to correct it. Materials and methods: Respiratory motion traces were simulated on the common patient breathing cycle and tree diaphragm motio...

We study invariants under gauge transformations of linear partial differential operators on two variables. Using results of BK-factorization, we construct hierarchy of general invariants for operators of an arbitrary order. Properties of general invariants are studied and some examples are presented. We also show that classical Laplace invariants correspond to some particular cases of general i...

Explicitly stated program invariants can help programmers by characterizing aspects of program execution and identifying program properties that must be preserved when modifying code; invariants can also be of assistance to automated tools. Unfortunately, these invariants are usually absent from code. Previous work showed how to dynamically detect invariants by looking for patterns in and relat...