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.
Symbolic execution has attracted significant attention in recent years, with applications in software testing, security, networking and more. Symbolic execution tools, like CREST, KLEE, FuzzBALL, and Symbolic PathFinder, have enabled researchers and practitioners to experiment with new ideas, scale the technique to larger applications and apply it to new application domains. Therefore, the correctness...
High-performance communication interfaces in modern complex electronic systems bring new challenges for board-level manufacturing test. Various means of calibration and error-correction that are incorporated into high-speed protocols tend to hide manufacturing flaws thus making comprehensive testing be an extremely hard task. Links transmitting at gigabit rates are especially susceptible to so-called...
This research has been carried out to find an intelligent system to generate chords for melodies which has been composed without considering chords initially. In western music, melodies are composed alongside with chords which specifies the rules for composing. Even though, the concept of chord is not practised in Hindustan music, modern musicians are now adapting the chords and use western instruments...
Active ECUs (Electronic Control Unit) in a hybrid car while it is charging leads to inefficient power usage and reduction in ECU lifetime. To solve this issue, AUTOSAR has suggested PN (partial networking). As per the AUTOSAR specification, ECUs which are not required to be kept active during battery charging must be shutdown. This project's aim is to analyze the robustness of the design suggested...
Recent advances in Neural Networks (NN) are enabling more and more innovative applications. As an energy-efficient hardware solution, machine learning accelerators for CNNs or traditional ANNs are also gaining popularity in the area of embedded vision, robotics and cyberphysics. However, the design parameters of NN models vary significantly from application to application. Hence, it's hard to provide...
Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming limitations of manual test case generation. CONBOL, a concolic testing framework for large-scale embedded industrial software, has shown effectiveness of discovering real defects even for commercial quality software. In this paper, we extend CONBOL to be applicable to a project...
Reverse Code Engineering (RCE) to detect anti-debugging techniques in software is a very difficult task. Code obfuscation is an anti-debugging technique makes detection even more challenging. The Rule Engine Detection by Intermediate Representation (REDIR) system for automated static detection of obfuscated anti-debugging techniques is a prototype designed to help the RCE analyst improve performance...
Simulink/Stateflow (SL/SF) is the primary modeling notation for the development of control systems in automotive and aerospace industries. In model based testing, test cases derived from a design model are used to show model-code conformance. Safety standards such as ISO 26262 recommend model based testing to show the conformance of a software with the corresponding model. From our experiments with...
Symbolic techniques have been shown to be very effective in path-based test generation, however, they fail to scale to large programs due to the exponential number of paths to be explored. In this paper, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We...
Mutation testing has been used to assess and improve the quality of test inputs. Generating test inputs to achieve high mutant-killing ratios is important in mutation testing. However, existing test-generation techniques do not provide effective support for killing mutants in mutation testing. In this paper, we propose a general test-generation approach, called PexMutator, for mutation testing using...
Evolutionary testing has been researched and promising results have been presented. However, evolutionary testing has remained predominately a research-based activity not practiced within industry. Although attempts have been made, such as Daimler's Evolutionary Structural Test (EST) prototype, until now, no such tool has been suitable for industrial adoption. The European project EvoTest (IST-33472)...
Software vulnerability is the major root of security issues which results in serious attacks such as DDOS and worms. How to find vulnerability especially on binaries has been an alluring but challenging topic. Traditional black-box fuzzing heavily relies on input format so that it cannot work on unknown formats, more severely, it cannot generate effective test cases because it randomly change input...
Quality testing always plays an important role in product manufacturing. However, for various products often needing different testing processes, current quality test systems have not provided adequate support for their flexibility and adaptability yet. For the purpose of improving their dynamic performance, the conceptions of workflow management system (WfMS) is adopted into the development of quality...
As the mixing process of fuel and air heavily deepens on the way the spray develops when injected into the cylinder, injection rate shaping in diesel engines play an important role for engine performance. In this experimental study, effect of three different injection rate shapes on spray process have been investigated. By using the dual pressure injection system, it is possible to obtain high injection...
The performance of military ground vehicle systems quickly degrades due to high operation tempo and extreme environments while performing in-theater service. Current maintenance methods associated with this degradation are not sufficiently optimized for cost and performance. To address this issue, the United States Army is implementing a policy of Condition Based Maintenance (CBM) and being supported...
The avionics of current-day aircraft is termed as modular integrated full glass cockpit. Unlike lots of dials and gauges, the pilot will interact with Multi-Function Displays (MYD). This means that the systems are coupled with multi-function displays, communication and navigation radios with control units, multi-mode interactive instruments for control and navigation, recording and fault management...
Web Services composition languages, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But the inclusion of WS-specific instructions presents a challenge for traditional white-box testing techniques. Takuan helps overcome this challenge by implementing an automated workflow which has already generated invariants from the execution logs of simple WS-BPEL compositions,...
Web Services composition languages, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing techniques, due to the inclusion of specific instructions for concurrency, fault and compensation handling, dynamic service discovery and invocation, etc. Dynamic likely invariant generation has been successfully...
We describe a benchmark of publicly-available multi-threaded programs with documented bugs in them. This project was initiated a few years ago with the goal of helping research groups in the fields of concurrent testing and debugging to develop tools and algorithms that improve the quality of concurrent programs. We present a survey of usage of the benchmark, concluding that the benchmark had an impact...
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.