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.
In a growing number of domains, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple products, forming a new distributed system. To ensure interoperability and the integrity of this new distributed system, it is important to conduct integration tests that verify not only the interactions with the environment but also the interactions between the system...
To reduce the risk of costly timing errors detected after the integration phase, there is a need for efficient, reliable and automated timing prediction methods applicable already at the early design stages, even if based on incomplete or partial timing information. The obtained timing estimations can be consolidated along the different design phases, until the final integration. Model-Checking is...
The paper studies application of mutation analysis for validation of behavioral requirements for reactive systems. The novelty of the approach is that the suggested mutations are semantic-based and applied to natural language description of requirements. This allows to focus only on plausible potential faults and to avoid generation of mutants that are irrelevant to the intended meaning of requirements...
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.