Sciweavers

2132 search results - page 84 / 427
» Automated software winnowing
Sort
View
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
15 years 4 months ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
XPU
2004
Springer
15 years 4 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
ECOOP
2004
Springer
15 years 4 months ago
Dynamic Framed Aspects for Dynamic Software Evolution
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
Philip Greenwood
FIW
2007
120views Communications» more  FIW 2007»
15 years 16 days ago
Problem-Oriented Feature Interaction Detection in Software Product Lines
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
Andreas Classen
HOTSWUP
2009
ACM
15 years 3 months ago
Dynamic Software Updates: The State Mapping Problem
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
Rida A. Bazzi, Kristis Makris, Peyman Nayeri, Jun ...