Sciweavers

5159 search results - page 128 / 1032
» Structural Testing of Executables
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Automated Generation of Context-Aware Tests
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...
Zhimin Wang, Sebastian G. Elbaum, David S. Rosenbl...
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
16 years 9 days ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
ICWE
2005
Springer
15 years 12 months ago
Towards Model-Driven Testing of a Web Application Generator
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
COMPSAC
2003
IEEE
15 years 11 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
PTS
2007
99views Hardware» more  PTS 2007»
15 years 7 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan