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.
Static analysis tools are widely used in practice to improve the quality and reliability of software through early detection of defects. However, the number of alarms generated is a major concern because of the cost incurred in their manual inspection required to partition them into true errors and false positives. In this paper, we propose a static analysis to identify the causes of alarms generated...
In many manufacturing systems human resources are essential in some cognitive intensive tasks while the more repetitive ones are assigned to automatic systems. If on the one hand, automation has a deterministic pace; humans are known by a flexible and variable work manner. Therefore, a reliable description of both hardware and human components is required for designing such manufacturing systems....
This paper presents a formal specification and analysis method motivated by issues faced during early stages of requirements development for automotive features. At this early stage of development, only overall goals of features are understood, and there is a need to discover all possible scenarios of operation. We have developed a formalism — Structured Transition Systems (STS) — that facilitates...
Users' acceptability of a Web application relies strictly on this applications' usability. One of the main means of evaluating and improving the usability of a system is by carrying out inspections. In this paper, we propose the automation of this process throw an Assistant for Usability Inspection Process ("APIU"). We also evaluate the assistant by carrying out an experimental study. The...
We illustrate a conceptual framework for business oriented Service Level Management (SLM). Currently IT systems are complex objects that support business operations. To be meaningful, a control system should link business and IT performances. This need, though recognized by most IT management frameworks, is not specifically analyzed. Defining a methodology capable to identify this link is the purpose...
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.