The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Graphic user interface (GUI) is an integral part of many software applications. However, GUI testing remains a challenging task. The main problem is to generate a set of high-quality test cases, i.e., sequences of user events to cover the often large input space. Since manually crafting event sequences is labor-intensive and automated testing tools often have poor performance, we propose a new GUI...
The problem of detecting a few anomalous processes among a large number of M processes is considered. At each time, aggregated observations can be taken from a chosen subset of processes, where the chosen subset conforms to a given binary tree structure. The random observations are i.i.d. over time with a general distribution that may depend on the size of the chosen subset and the number of anomalous...
Traditional cable insulation status diagnosis method is comprised of withstand voltage experiment. However, withstand voltage experiment injures the insulation part. Insulation resistance and tanδ provide the limited information because of single frequency test. However polarization and depolarization(PDC) can be used for determining the ageing extent of the cables. Existing equipments have...
Due to the textures and flatness problems of the welding under test, the lift-off distance of the detection probe varies during test, which constitutes the main error source in the NDT system. An eddy current detection probe that is composed of a rectangular excitation coil and a giant magnetoresistance device has been designed. The simulation results show that the effect of lift-off changes caused...
GUIs are event-driven applications where the flow of the program is determined by user actions such as mouse clicks and key presses. GUI testing is a challenging task not only because of the combinatorial explosion in the number of event sequences, but also because of the difficulty to cover the large number of data values. We propose GUICat, the first cloud-based GUI testing framework that simultaneously...
Software updates often introduce new bugs to existing code bases. Prior regression testing tools focus mainly on test case selection and prioritization whereas symbolic execution tools only handle code changes in sequential software. In this paper, we propose the first incremental symbolic execution method for concurrent software to generate new tests by exploring only the executions affected by code...
We propose a new automated debugging method for regression testing based on a synergistic application of both dynamic and semantic analysis. Our method takes a failure- inducing test input, a buggy program, and an earlier correct version of the same program, and computes a minimal set of code changes responsible for the failure, as well as explaining how the code changes lead to the failure. Although...
Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch conditions encountered during the execution. To mitigate the path explosion problem, we propose a new...
We introduce a variation of the classic group testing problem referred to as group testing under sum observations. In this new formulation, when a test is carried out on a group of items, the result reveals not only whether the group is contaminated, but also the number of defective items in the tested group. We establish the optimal nested test plan within a minimax framework that minimizes the total...
To understand malware behaviors, collecting and classifying malware samples is a critical issue for system security researchers. This paper aims to develop Proactive Malware Collection and Classification System (PMCCS), which consists of Proactive Malware Collection Unit (PMCU) and Automatic Malware Classification Unit (AMCU). To collect useful samples, PMCU uses P2P software actively search suspicious...
In order to obtain the influence of skew, the lifting line - vortex model was used to calculate the optimal circulation of propeller. The adhesion vortex was laid in the midline of propeller blade, when analyzed the skew. If the propeller doesn't have skew, the lifting line also is a radial line, or else, the lifting line is a space line. Though the comparison of calculation results, it shows that...
In this paper, we propose a method to detect the wake-up-word (WUW) using microphone array for human-robot interaction. The consistency of the spatial eigenspaces formed by the speech source at different frequencies and the resonant curve similarity of the WUW are used as the features for detection. These features are processed and detected separately and the result is determined by cascading individual...
Non-destructive evaluation (NDE) is an effective and reasonable technology for utilization in wooden material. Facing the defects of wooden material, the effective NDE appears practically significant for protecting wood structures. Major NDE techniques and equipments applied in wood structures detection were systematically summarized. Then State of main researches on NDE used in wooden material was...
Shared-memory multi-threaded programs are notoriously difficult to test, and because of the often astronomically large number of thread schedules, testing all possible interleavings is practically infeasible. In this paper we propose a coverage-guided systematic testing framework, where we use dynamically learned ordering constraints over shared object accesses to select only high-risk interleavings...
This article researched the development of the evaporative cooling air conditioning standard of utilizing renewable energy dry air cooling. Through introducing the foreign countries' evaporative cooling air conditioning standards of utilizing renewable energy dry air cooling, combining with the practical standard application in china, this paper analyzed the development idea of evaporative cooling...
Combining the heat recovery technology of heat pipe and evaporative cooling technology, this article researched a heat recovery heat pipe-type indirect evaporative cooling air-conditioning unit and tested this unit. Based on analyzing we got main perfoprmance factors and best operation parameters. The best ratio of volume of secondary air and primary air is 0.8, the best water delivery is 0.322 m3/h,...
The Systems Analysis & Verification Department at NEC Labs engages in foundational as well as applied research in the areas of verification and analysis of software and embedded systems. We have developed several tools and frameworks for scalable and precise analysis of programs, some of which are now used within the company on large software projects. This extended abstract highlights their main...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.