1890 search results - page 149 / 378 » Model-Based Testing in Practice |
168
click to vote
SEKE
2005
Springer
15 years 12 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...
170
click to vote
AR
2007
15 years 6 months ago
2007
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...
171
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper studies the effects of training data on binary text classification and postulates that negative training data is not needed and may even be harmful for the task. Tradit...
188
click to vote
COR
2011
15 years 1 months ago
2011
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...
257
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...