1112 search results - page 144 / 223 » Executing Abstract Test Cases |
119
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
136
Voted
CJ
2010
15 years 10 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
135
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
142
Voted
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
147
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...