This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs) to reduce the number of states in the ”flat” Finite State Machine (FSM) resulting from the exploration of the model. Firstly, independent dialogs are identified and highlighted in a HFSM built from the FSM. Then, the portion o...

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today’s protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. A test sequence that does not consider timing constraints will likely ...

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today's protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. A test sequence that does not consider timing constraints will likely ...

Itemset share has been proposed to evaluate the significance of itemsets for mining association rules in databases. The Fast Share Measure (FSM) algorithm is one of the best algorithms to discover all share-frequent itemsets efficiently. However, FSM is fast only when dealing with small datasets. In this study, we shall propose a revised version of FSM, called the Enhanced FSM (EFSM) algorithm ...

Gravity Recovery and Climate Experiment Follow-On (GRACE-FO) was launched on May 22, 2018. It carries the Laser Ranging Interferometer (LRI) as a technology demonstrator that measures inter-satellite range with nanometer precision using laser-link between satellites. To maintain satellites, LRI uses beam steering method: Fast Steering Mirror (FSM) is actuated to correct for misalignment incomin...

Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies that two such curves over k have the same zeta function (i.e., the same number of points over all extensions of k) if and only if their corresponding Jacobi...

The reliability and the cost of electronic circuits are closely connected to the maximum power dissipated by them. Tools for evaluating the worst case power consumption of sequential circuits is becoming a primal concern for designers of low-power circuits. In the paper the task of estimation of peak sustainable power for CMOS synchronous sequential circuit is considered when its automaton desc...

Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of symmetry in the behavior of specification and implementation may substantially reduce the amount of tests. We present a framework for describing and exploiting symmetries in black box test derivation methods based on fi...

2. General Remarks Second order ODEs are much harder to solve than first order ODEs. First of all, a second order linear ODE has two linearly independent solutions and a general solution is a linear combination of these two solutions. In addition, many popular second order ODEs have singular points. Except for a few cases, the solutions have no simple mathematical expression. However, there is ...