395 search results - page 71 / 79 » Program abstractions for behaviour validation |
APSEC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
CP
2007
Springer
14 years 4 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
CSMR
2006
IEEE
14 years 3 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
DEXA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...