470 search results - page 28 / 94 » Test Case Generation Based on State and Activity Models |
104
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
101
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
90
Voted
ECRTS
2007
IEEE
15 years 6 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...