1112 search results - page 112 / 223 » Executing Abstract Test Cases |
93
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
126
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
119
click to vote
ERCIMDL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
116
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Recently there has been considerable interest in incorporating timing effects of microarchitectural features of processors (e.g. caches and pipelines) into the schedulability anal...