6014 search results - page 158 / 1203 » Structural Testing with Use Cases |
140
Voted
VTS
2002
IEEE
15 years 8 months ago
2002
IEEE
For deep sub-micron system-on-chips (SoC), interconnects are critical determinants of performance, reliability and power. Buses and long interconnects being susceptible to crossta...
123
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
124
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
122
Voted
ICIDS
2010
Springer
15 years 2 months ago
2010
Springer
The author summarizes his experience creating a story-based simulation from raw documentary footage taken in the aftermath of the 2010 earthquake in Haiti. The use of Propp’s typ...
118
Voted
ENTCS
2007
15 years 3 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...