223 search results - page 19 / 45 » From use cases to test cases via meta model-based reasoning |
101
click to vote
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
TAP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
189
click to vote
SBP
2011
Springer
14 years 4 months ago
2011
Springer
Public health-related topics are difficult to identify in large conversational datasets like Twitter. This study examines how to model and discover public health topics and themes ...
112
click to vote
IQ
2007
14 years 11 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
67
Voted
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...