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.
Resource management is crucial to software productions. Resources must be carefully acquired and released, or a resource leak might occur. For open source projects, resource leaks can be easily introduced during code check-in, and it is laborious to review, identify, report, and fix such leaks. Recently, there has been a growing interest in data mining API usage patterns to discover potential bugs...
GUI test case definition is the core issue in automatic or semi-automatic GUI testing. We use TTCN-3 language to define GUI test cases. The test specifications under this definition are easy to maintain, evaluate and assess. The time related test specifications are covered; few of current works cover this kind of testing. It's easy and flexible to create test oracles by this approach thanks to TTCN-3...
Testing procedure can be described by the testing and test control notation-version 3(TTCN-3). The automatic execution of TTCN-3 test scripts is transformed to automatic testing of system under test (SUT). We propose a framework, which uses combined symbolic and concrete execution of TTCN-3 test scripts to automatically generate test inputs for most of the feasible paths. Meanwhile most of the test...
Test generation techniques are still weak, especially to large or complex programs. This paper presents a new test generation method, which can automatically generate inputs triggering bugs with greatly mitigating the path explosion problem. The method performs intraprocedural analysis to find potential bugs using a combined symbolic and concrete execution with simplifying callee functions; then backtracks...
We propose a novel MAC protocol for WLANs with multi-beam access point, omni-antenna mobile nodes and a single frequency channel to exploit the potential profit of multi-beam antennas. Our protocol addresses a series of challenging problems, such as the beam-load unbalance problem, the unnecessary defer problem, the receiver blocking problem, the antenna-imperfection problem, and the mobility issue...
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.