3281 search results - page 133 / 657 » An Approach to use Executable Models for Testing |
116
click to vote
ACL
2010
15 years 1 months ago
2010
Automated summarization methods can be defined as "language-independent," if they are not based on any languagespecific knowledge. Such methods can be used for multiling...
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the m...
151
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a novel framework for generic object class detection by integrating Kernel PCA with AdaBoost. The classifier obtained in this way is invariant to changes...
128
click to vote
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
179
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...